Login / Signup
Reactive Synthesis with Maximum Realizability of Linear Temporal Logic Specifications.
Rayna Dimitrova
Mahsa Ghasemi
Ufuk Topcu
Published in:
CoRR (2019)
Keyphrases
</>
linear temporal logic
bounded model checking
temporal logic
reactive systems
model checking
transition systems
concurrent systems
formal verification
model checker
specification language
modal logic
high level
program synthesis
formal specification
formal methods
finite state
linear time temporal logic