Model Checking Constrained Markov Reward Models with Uncertainties.
Giovanni BacciMikkel HansenKim Guldstrand LarsenPublished in: QEST (2019)
Keyphrases
- model checking
- temporal logic
- reactive systems
- finite state machines
- temporal properties
- formal verification
- automated verification
- symbolic model checking
- model checker
- verification method
- reinforcement learning
- concurrent systems
- software engineering
- formal specification
- epistemic logic
- control flow
- satisfiability problem
- modal logic
- search algorithm
- multi agent