Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications.

Adnane Saoud Elena Ivanova Antoine Girard

Published in: CDC (2019)

Keyphrases

transition systems
concurrent systems
model checking
temporal logic
finite state
control flow
search space
sufficient conditions
multiagent systems
reactive systems
practical reasoning