Probably Approximately Correct Learning in Stochastic Games with Temporal Logic Specifications.
Min WenUfuk TopcuPublished in: IJCAI (2016)
Keyphrases
- temporal logic
- stochastic games
- concurrent systems
- transition systems
- model checking
- model checker
- reactive systems
- bounded model checking
- formal specification language
- modal logic
- nash equilibria
- markov decision processes
- formal specification
- multi agent
- linear temporal logic
- learning automata
- formal verification
- robust optimization
- nash equilibrium
- verification method
- orders of magnitude
- average reward
- reinforcement learning algorithms
- single agent
- knowledge acquisition
- cooperative