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:
IEEE Control. Syst. Lett. (2020)
Keyphrases
</>
temporal logic
model checking
formal specification language
concurrent systems
transition systems
modal logic
formal specification
design process
bounded model checking
formal verification
model checker
reactive systems
description language
data flow
linear temporal logic
satisfiability problem
control system