Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics.
Iman HaghighiNoushin MehdipourEzio BartocciCalin BeltaPublished in: CoRR (2019)
Keyphrases
- temporal logic
- model checking
- concurrent systems
- transition systems
- reactive systems
- model checker
- bounded model checking
- modal logic
- formal specification language
- formal specification
- dynamic constraints
- control flow
- verification method
- modal operators
- satisfiability problem
- logical formulas
- linear temporal logic
- epistemic logic
- operational semantics
- specification language
- formal verification
- qualitative differential equations
- logic programming
- temporal knowledge
- qualitative and quantitative
- partial order
- temporally extended goals
- formal semantics
- belief revision