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:
CoRR (2022)
Keyphrases
</>
temporal logic
model checking
modal logic
satisfiability problem
supply chain
concurrent systems
mazurkiewicz traces
linear temporal logic
temporal knowledge
reactive systems
verification method
model checker
transition systems
dynamic constraints
belief revision
formal specification language
data exchange