Model Checking Discounted Temporal Properties.
Luca de AlfaroMarco FaellaThomas A. HenzingerRupak MajumdarMariëlle StoelingaPublished in: TACAS (2004)
Keyphrases
- temporal properties
- model checking
- temporal logic
- model checker
- finite state
- markov decision processes
- formal specification
- formal verification
- infinite horizon
- computation tree logic
- verification method
- automated verification
- dynamic programming
- formal methods
- bounded model checking
- optimal policy
- linear temporal logic
- epistemic logic
- transition systems
- symbolic model checking
- concurrent systems
- markov decision process
- reactive systems
- reinforcement learning
- knowledge acquisition
- software engineering
- cooperative