| Yu-Cheng Wu, I-Ching Tseng and Chung-Wei Lin | Deep-Reinforcement-Learning-Based Design Space Exploration for Time-Sensitive Networking |
| Maximilian Alexander Köhl, Clemens Dubslaff and Holger Hermanns | Configuration Monitor Synthesis |
| Mishel Carelli and Orna Grumberg | CTL* Verification and Synthesis using Existential Horn Clauses |
| Gijs P. Leemrijse, Tom T.P. Franken and Thomas Neele | Formalisation of a new weak Semantics for AuDaLa |
| Raz Lotan, Eden Frenkel and Sharon Shoham | Proving Cutoff Bounds for Safety Properties in First-Order Logic |
| Raven Beutner and Bernd Finkbeiner | HyperSAT: Satisfiability of Hyperproperties using First-Order Logic |
| Bader Abu Radi, Orna Kupferman and Ofer Leshkowitz | Easy Complementation of History-Deterministic Büchi Automata |
| Andoni Rodriguez, César Sánchez and Felipe Gorostiaga | Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis |
| Akihisa Yamada, Jérémy Dubut and Takeshi Tsukada | TXtruct: A language for transforming texts to and from XML |
| Nikola Beneš, Lubos Brim, Ondřej Huvar, Samuel Pastva and David Šafránek | Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures |
| Noa Izsak, Dana Fisman and Swen Jacobs | Learning Broadcast Protocols with LeoParDS |
| Irmak Saglam, Anne-Kathrin Schmuck and Munko Tsyrempilon | A Decremental Algorithm for Fair Büchi Games |
| Anirban Majumdar, Sayan Mukherjee and Jean-François Raskin | Greybox Learning of Languages Recognizable by Event-Recording Automata |
| Roman Andriushchenko, Milan Ceska, Sebastian Junges and Filip Macák | Policies Grow on Trees: Model Checking Families of MDPs |
| Kevin Zhou | Query Learning Bounds for Advice and Nominal Automata |
| Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang and Philipp Rümmer | Guiding Word Equation Solving using Graph Neural Networks |
| Orna Kupferman and Noam Shenwald | Games with Weighted Multiple Objectives |
| Stanley Bak, Abdelrahman Hekal, Niklas Kochdumper, Ethan Lew, Andrew Mata and Amir Rahmati | Fast Koopman Surrogate Falsification using Linear Relaxations and Weights |
| Daniel Hausmann, Mathieu Lehaut and Nir Piterman | Distribution of Reconfiguration Languages Maintaining Tree-like Communication Topology |
| Leonardo Lima, Jonathan Huerta Y Munive and Dmitriy Traytel | WhyMon: A Runtime Monitoring Tool with Explanations as Verdicts |
| Parosh Abdulla, Ashutosh Gupta, Krishna S and Omkar Tuppe | Dynamic Partial Order Reduction for Transactional Programs on Serializable Platforms |
| Xinpeng Ni, Bican Xia and Tianqi Zhao | Local Search for Checking Satisfiability of Formulas with Trigonometric Functions |
| Ilia Zlatkin and Grigory Fedyukovich | Leveraging Program Structure for Test Case Generation |
| Dirk Beyer, Thomas Lemberger and Henrik Wachowitz | CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers |