Reactive synthesis with maximum realizability of linear temporal logic specifications.

Rayna Dimitrova Mahsa Ghasemi Ufuk Topcu

Published in: Acta Informatica (2020)

Keyphrases

linear temporal logic
bounded model checking
reactive systems
temporal logic
model checking
transition systems
formal specification
concurrent systems
specification language
model checker
formal verification
program synthesis
high level
modal logic
finite state