Average-based Robustness for Continuous-Time Signal Temporal Logic.
Noushin MehdipourCristian Ioan VasileCalin BeltaPublished in: CDC (2019)
Keyphrases
- temporal logic
- model checking
- modal logic
- satisfiability problem
- concurrent systems
- verification method
- mazurkiewicz traces
- markov chain
- state space
- multi agent systems
- knowledge base
- transition systems
- temporally extended
- noise ratio
- dynamical systems
- belief revision
- optimal control
- model checker
- search algorithm
- bounded model checking
- orders of magnitude
- automata theoretic
- artificial intelligence