Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications.
Guy ScherSadra SadraddiniRuss TedrakeHadas Kress-GazitPublished in: HSCC (2022)
Keyphrases
- temporal logic
- stochastic systems
- concurrent systems
- model checking
- model checker
- bounded model checking
- verification method
- transition systems
- formal specification
- formal verification
- reactive systems
- stochastic models
- modal logic
- linear temporal logic
- confidence intervals
- signal processing
- formal specification language
- probabilistic model
- epistemic logic
- formal methods
- sample path
- sample size
- bayesian networks
- finite state
- monte carlo
- belief revision
- computation tree logic
- evaluation function
- random variables