| 2023 | Statistical Approach to Efficient and Deterministic Schedule Synthesis for Cyber-Physical Systems. | Shengjie Xu, Bineet Ghosh, Clara Hobbs, Enrico Fraccaroli, Parasara Sridhar Duggirala, Samarjit Chakraborty |
| 2023 | Fast Equivalence Checking of Quantum Circuits of Clifford Gates. | Dimitrios Thanos, Tim Coopmans, Alfons Laarman |
| 2023 | An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks. | Ye Tao, Wanwei Liu, Fu Song, Zhen Liang, Ji Wang, Hongxu Zhu |
| 2023 | Predicting Memory Demands of BDD Operations Using Maximum Graph Cuts. | Steffan Christ Slvsten, Jaco van de Pol |
| 2023 | Automated Property Directed Self Composition. | Akshatha Shenoy, Sumanth Prabhu S, Kumar Madhukar, Ron Shemer, Mandayam K. Srivas |
| 2023 | Structure-Guided Solution of Constrained Horn Clauses. | Omer Rappoport, Orna Grumberg, Yakir Vizel |
| 2023 | An Automata Theoretic Characterization of Weighted First-Order Logic. | Dhruv Nevatia, Benjamin Monmege |
| 2023 | RTAEval: A Framework for Evaluating Runtime Assurance Logic. | Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra |
| 2023 | Automatic Verification of High-Level Executable Models Running on FPGAs. | Morgan McColl, Callum McColl, Ren Hexel |
| 2023 | Specification Sketching for Linear Temporal Logic. | Simon Lutz, Daniel Neider, Rajarshi Roy |
| 2023 | Scenario Approach for Parametric Markov Models. | Ying Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue, Lijun Zhang |
| 2023 | A Novel Family of Finite Automata for Recognizing and Learning mega-Regular Languages. | Yong Li, Sven Schewe, Qiyi Tang |
| 2023 | AutoKoopman: A Toolbox for Automated System Identification via Koopman Operator Linearization. | Ethan Lew, Abdelrahman Hekal, Kostiantyn Potomkin, Niklas Kochdumper, Brandon Hencey, Stanley Bak, Sergiy Bogomolov |
| 2023 | Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation. | J. S. Sajiv Kumar, Raghavan Komondoor |
| 2023 | On the Containment Problem for Deterministic Multicounter Machine Models. | Oscar H. Ibarra, Ian McQuillan |
| 2023 | On the Difficulty of Intersection Checking with Polynomial Zonotopes. | Yushen Huang, Ertai Luo, Stanley Bak, Yifan Sun |
| 2023 | Fast Verified SCCs for Probabilistic Model Checking. | Arnd Hartmanns, Bram Kohlen, Peter Lammich |
| 2023 | Learning Nonlinear Hybrid Automata from Input-Output Time-Series Data. | Amit Gurung, Masaki Waga, Kohei Suenaga |
| 2023 | Leveraging Static Analysis: An IDE for RTLola. | Bernd Finkbeiner, Florian Kohn, Malte Schledjewski |
| 2023 | Reactive Synthesis of Smart Contract Control Flows. | Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing |
| 2023 | Graph-Based Reductions for Parametric and Weighted MDPs. | Kasper Engelen, Guillermo A. Prez, Shrisha Rao |
| 2023 | Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms. | Derek Egolf, Stavros Tripakis |
| 2023 | Lightweight Verification of Hyperproperties. | Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang |
| 2023 | Compositional High-Quality Synthesis. | Rafael Dewes, Rayna Dimitrova |
| 2023 | Better Predicates and Heuristics for Improved Commutativity Synthesis. | Adam Chen, Parisa Fathololumi, Mihai Nicola, Jared Pincus, Tegan Brennan, Eric Koskinen |