Login / Signup
Reactive Synthesis from Extended Bounded Response LTL Specifications.
Alessandro Cimatti
Luca Geatti
Nicola Gigante
Angelo Montanari
Stefano Tonetta
Published in:
CoRR (2020)
Keyphrases
</>
bounded model checking
reactive systems
model checking
temporal logic
linear temporal logic
transition systems
model checker
functional requirements
operational semantics
high level
neural network
formal verification
database
formal specification
program synthesis
data sets
real time