Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications.
Guy ScherSadra SadraddiniRuss TedrakeHadas Kress-GazitPublished in: CoRR (2022)
Keyphrases
- temporal logic
- stochastic systems
- concurrent systems
- model checking
- model checker
- bounded model checking
- transition systems
- verification method
- formal specification
- formal verification
- modal logic
- reactive systems
- stochastic models
- probabilistic model
- linear temporal logic
- formal specification language
- signal processing
- finite state
- computation tree logic
- formal methods
- monte carlo
- chaotic systems
- sample path
- non stationary
- bayesian networks
- stochastic model
- epistemic logic
- conditional probabilities
- graphical models