Sampling-Based Verification of CTMCs with Uncertain Rates.
Thom S. BadingsNils JansenSebastian JungesMariëlle StoelingaMatthias VolkPublished in: CAV (2) (2022)
Keyphrases
- model checking
- decision making
- incomplete information
- artificial intelligence
- concurrent systems
- motion planning
- expert systems
- monte carlo
- information systems
- formal verification
- verification method
- database
- mobile robot
- multiscale
- uncertain data
- social networks
- face verification
- formal analysis
- uncertain databases
- false acceptance