Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures
No abstract available.
Related papers
- Verifying Asynchronous Hyperproperties in Reactive Systems OOPSLA 2025
- sweap: Reactive Synthesis for Infinite-State Integer Problems CAV 2026
- Bisimulation Learning CAV 2024
- Strategy Representation by Decision Trees in Reactive Synthesis TACAS 2018
- Symbolic finite state transducers: algorithms and applications POPL 2012
- FAUST 2 : Formal Abstractions of Uncountable-STate STochastic Processes TACAS 2015
- On the Almost-Sure Termination of Probabilistic Counter Programs CAV 2025
- Monadic second-order logic on finite sequences POPL 2017