Reduction Techniques for Model Checking and Learning in MDPs.
Suda BharadwajStéphane Le RouxGuillermo A. PérezUfuk TopcuPublished in: IJCAI (2017)
Keyphrases
- model checking
- reinforcement learning
- temporal logic
- learning algorithm
- temporal properties
- state space
- automated verification
- reachability analysis
- finite state
- computation tree logic
- epistemic logic
- model checker
- formal specification
- finite state machines
- markov decision processes
- domain independent
- multi agent systems