Data-driven verification of stochastic linear systems with signal temporal logic constraints.
Ali SalamatiSadegh SoudjaniMajid ZamaniPublished in: Autom. (2021)
Keyphrases
- temporal logic
- linear systems
- model checking
- data driven
- verification method
- concurrent systems
- automata theoretic
- modal logic
- model checker
- dynamic constraints
- dynamical systems
- sufficient conditions
- finite state
- bounded model checking
- formal verification
- transition systems
- computation tree logic
- satisfiability problem
- formal specification
- symbolic model checking
- linear temporal logic
- sparse linear systems
- coefficient matrix
- genetic algorithm
- mazurkiewicz traces
- reactive systems