Formal Reachability Analysis for Multi-Agent Reinforcement Learning Systems.
Xiaoyan WangJun PengShuqiu LiBing LiPublished in: IEEE Access (2021)
Keyphrases
- learning systems
- reachability analysis
- multi agent
- reinforcement learning
- markov decision processes
- model checking
- state space
- learning process
- machine learning
- learning resources
- learning materials
- learning environment
- computer supported
- incremental algorithms
- timed automata
- multi agent systems
- learning styles
- technology enhanced learning systems
- human learning
- single agent
- adaptive systems
- action space
- formal language
- partially observable
- machine learning systems
- temporal reasoning
- temporal logic
- optimal policy
- multimedia