On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems.
Toghrul KarimovJoël OuaknineJames WorrellPublished in: CoRR (2020)
Keyphrases
- model checking
- low dimensional
- temporal logic
- linear dynamical systems
- high dimensional
- bounded model checking
- dynamical systems
- automated verification
- temporal properties
- model checker
- finite state
- linear temporal logic
- formal specification
- formal verification
- high dimensional data
- dimensionality reduction
- computation tree logic
- real valued
- manifold learning
- principal component analysis
- linear time temporal logic
- symbolic model checking
- epistemic logic
- verification method
- data points
- hidden markov models
- modal logic
- concurrent systems
- transition systems
- spatio temporal
- formal methods