Login / Signup
Reactive Synthesis from Extended Bounded Response LTL Specifications.
Alessandro Cimatti
Luca Geatti
Nicola Gigante
Angelo Montanari
Stefano Tonetta
Published in:
FMCAD (2020)
Keyphrases
</>
bounded model checking
reactive systems
model checking
temporal logic
transition systems
formal specification
linear temporal logic
formal verification
specification language
information systems
domain independent
model checker
program synthesis
data model
delay insensitive
search algorithm
decision trees
website