On approximation metrics for linear temporal model-checking of stochastic systems.
Ilya TkachevAlessandro AbatePublished in: HSCC (2014)
Keyphrases
- model checking
- stochastic systems
- temporal properties
- temporal logic
- linear temporal logic
- formal specification
- automated verification
- formal verification
- stochastic models
- model checker
- symbolic model checking
- finite state
- verification method
- computation tree logic
- bounded model checking
- confidence intervals
- epistemic logic
- formal methods
- transition systems
- sample path
- learning algorithm
- alternating time temporal logic