Probabilistic Rare-Event Verification for Temporal Logic Robot Tasks.
Guy ScherSadra SadraddiniHadas Kress-GazitPublished in: ICRA (2023)
Keyphrases
- temporal logic
- model checking
- verification method
- concurrent systems
- rare events
- model checker
- modal logic
- bounded model checking
- formal verification
- importance sampling
- computation tree logic
- belief revision
- bayesian networks
- formal specification
- linear temporal logic
- epistemic logic
- probabilistic model
- linear time temporal logic
- formal methods
- markov chain
- distributed systems