| 2024 | On Polynomial Expressions with C-Finite Recurrences in Loops with Nested Nondeterministic Branches. | Chenglin Wang, Fangzhen Lin |
| 2024 | LTL Learning on GPUs. | Mojtaba Valizadeh, Nathanal Fijalkow, Martin Berger |
| 2024 | Formally Certified Approximate Model Counting. | Yong Kiam Tan, Jiong Yang, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel |
| 2024 | Lexicographic Ranking Supermartingales with Lazy Lower Bounds. | Toru Takisaka, Libo Zhang, Changjiang Wang, Jiamou Liu |
| 2024 | The Top-Down Solver Verified: Building Confidence in Static Analyzers. | Yannick Stade, Sarah Tilscher, Helmut Seidl |
| 2024 | Boosting Few-Pixel Robustness Verification via Covering Verification Designs. | Yuval Shapira, Naor Wiesel, Shahar Shabelman, Dana Drachsler-Cohen |
| 2024 | Localized Attractor Computations for Infinite-State Games. | Anne-Kathrin Schmuck, Philippe Heim, Rayna Dimitrova, Satya Prakash Nayak |
| 2024 | Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications. | Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo |
| 2024 | Inner-Approximate Reachability Computation via Zonotopic Boundary Analysis. | Dejin Ren, Zhen Liang, Chenyu Wu, Jianqiang Ding, Taoran Wu, Bai Xue |
| 2024 | From Clauses to Klauses. | Joseph E. Reeves, Marijn J. H. Heule, Randal E. Bryant |
| 2024 | Strided Difference Bound Matrices. | Arjun Pitchanathan, Albert Cohen, Oleksandr Zinenko, Tobias Grosser |
| 2024 | Split Grbner Bases for Satisfiability Modulo Finite Fields. | Alex Ozdemir, Shankara Pailoor, Alp Bassa, Kostas Ferles, Clark W. Barrett, Isil Dillig |
| 2024 | Scalable Bit-Blasting with Abstractions. | Aina Niemetz, Mathias Preiner, Yoni Zohar |
| 2024 | Quantified Linear Arithmetic Satisfiability via Fine-Grained Strategy Improvement. | Charlie Murphy, Zachary Kincaid |
| 2024 | Interactive Theorem Proving Modulo Fuzzing. | Sujit Kumar Muduli, Rohan Ravikumar Padulkar, Subhajit Roy |
| 2024 | Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata. | Anders Miltner, Ziteng Wang, Swarat Chaudhuri, Isil Dillig |
| 2024 | Simulating Quantum Circuits by Model Counting. | Jingyi Mei, Marcello M. Bonsangue, Alfons Laarman |
| 2024 | Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games. | Tobias Meggendorfer, Maximilian Weininger |
| 2024 | Toward Liveness Proofs at Scale. | Kenneth L. McMillan |
| 2024 | Collective Contracts for Message-Passing Parallel Programs. | Ziqing Luo, Stephen F. Siegel |
| 2024 | Guiding Enumerative Program Synthesis with Large Language Models. | Yixuan Li, Julian Parsert, Elizabeth Polgreen |
| 2024 | Dynamic Programming for Symbolic Boolean Realizability and Synthesis. | Yi Lin, Lucas Martinelli Tabajara, Moshe Y. Vardi |
| 2024 | Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems. | Florian Lercher, Matthias Althoff |
| 2024 | What Should Be Observed for Optimal Reward in POMDPs? | Alyzia-Maria Konsta, Alberto Lluch-Lafuente, Christoph Matheja |
| 2024 | soid: A Tool for Legal Accountability for Automated Decision Making. | Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Knighofer, Scott J. Shapiro, Ruzica Piskac |