Login / Signup
Control Design for Risk-Based Signal Temporal Logic Specifications.
Sleiman Safaoui
Lars Lindemann
Dimos V. Dimarogonas
Iman Shames
Tyler H. Summers
Published in:
CoRR (2020)
Keyphrases
</>
temporal logic
formal specification language
model checking
transition systems
modal logic
concurrent systems
satisfiability problem
formal methods
formal verification
predicate logic
bounded model checking
knowledge representation
model checker