Temporal Logic Verification of Stochastic Systems Using Barrier Certificates.
Pushpak JagtapSadegh SoudjaniMajid ZamaniPublished in: ATVA (2018)
Keyphrases
- temporal logic
- stochastic systems
- model checking
- verification method
- concurrent systems
- model checker
- formal verification
- modal logic
- stochastic models
- bounded model checking
- confidence intervals
- finite state
- computation tree logic
- sample path
- formal specification
- mazurkiewicz traces
- formal methods
- reactive systems
- linear temporal logic
- stochastic processes
- linear time temporal logic
- policy iteration
- sample size