On the Construction of Automata from Linear Arithmetic Constraints
No abstract available.
Related papers
- Convex Hull of Arithmetic Automata SAS 2008
- Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic CAV 2024
- An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract) SAS 1995
- Parikh's Theorem Made Symbolic POPL 2024
- LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals CAV 2007
- Membership-Based Synthesis of Linear Hybrid Automata CAV 2019
- Decision Procedures for Sequence Theories CAV 2023
- A Constraint Solving Approach to Parikh Images of Regular Languages OOPSLA 2024