- On the decidability of the existence of polyhedral invariants in transition systems David Monniaux Mon 22 July 2019
- On the Monniaux Problem in Abstract Interpretation Nathanael Fijalkow Engel Lefaucheux Pierre Ohlmann Joel Ouaknine Amaury Pouly James Worrell Mon 22 July 2019
- Partial Solvers for Generalized Parity Games Véronique Bruyère Guillermo A. Pérez Jean-François Raskin Clément Tamines Sat 20 July 2019
- Computing Nested Fixpoints in Quasipolynomial Time Daniel Hausmann Lutz Schrøder Sat 20 July 2019
- Loop Summarization with Rational Vector Addition Systems (extended version) Jake Silverman Zachary Kincaid Sat 20 July 2019
- An Efficient Algorithm for the Inclusion Problem of a Subclass of DPDAs Ryo Yoshinaka Sat 20 July 2019
- The inclusion problem for simple languages Emily P. Friedman Sat 20 July 2019
- Semidefinite programming in combinatorial optimization Michel X. Goemans Sat 20 July 2019
- Perhaps Not The Answer You Were Expecting But You Asked For It (An Accidental Blook) Conor McBride Sat 20 July 2019
- OPEN PROBLEMS IN AUTOMATA, LOGIC, GAMES, AND RELATED TOPICS Michael Cadilhac Sat 20 July 2019
- Generating Correctness Proofs with Neural Networks Alex Sanchez-Stern Yousef Alhessi Lawrence Saul Sorin Lerner Sat 20 July 2019
- One-Variable Logic Meets Presburger Arithmetic Bartosz Bednarczyk Sat 20 July 2019
- Safety and Co-safety Comparator Automata for Discounted-Sum Inclusion Suguman Bansal Moshe Y. Vardi Sat 20 July 2019
- Solving Mean-Payoff Games via Quasi Dominions Massimo Benerecetti Daniele Dell'Erba Fabio Mogavero Sat 20 July 2019
- On Linear Recurrence Sequences and Loop Termination Joel Ouaknine James Worrell Fri 19 July 2019
- Algebraic Invariants for Linear Hybrid Automata Rupak Majumdar Joel Ouaknine Amaury Pouly James Worrell Fri 19 July 2019
- The Semialgebraic Orbit Problem Shaull Almagor Joel Ouaknine James Worrell Fri 19 July 2019
- Termination of Linear Loops over the Integers Mehran Hosseini Joel Ouaknine James Worrell Fri 19 July 2019
- On Reachability Problems for Low-Dimensional Matrix Semigroups Thomas Colcombet Joel Ouaknine Pavel Semukhin James Worrell Fri 19 July 2019
- On the Decidability of Membership in Matrix-exponential Semigroups Joel Ouaknine Amaury Pouly João Sousa-Pinto James Worrell Fri 19 July 2019
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
