Login / Signup
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts.
Siyuan Liu
Adnane Saoud
Pushpak Jagtap
Dimos V. Dimarogonas
Majid Zamani
Published in:
CDC (2022)
Keyphrases
</>
temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
linear temporal logic
model checker
reactive systems
verification method
transition systems
computation tree logic
belief revision
temporal knowledge
mazurkiewicz traces
search algorithm
symbolic model checking
temporally extended