Compositional RL Agents That Follow Language Commands in Temporal Logic.
Yen-Ling KuoBoris KatzAndrei BarbuPublished in: Frontiers Robotics AI (2021)
Keyphrases
- temporal logic
- multi agent
- model checking
- linear temporal logic
- formal specification language
- learning agents
- multi agent systems
- reinforcement learning
- modal logic
- satisfiability problem
- epistemic logic
- multiagent systems
- computer programs
- model checker
- temporally extended goals
- action selection
- multiple agents
- concurrent systems
- natural language
- cooperative
- reactive systems
- mazurkiewicz traces
- verification method
- transition systems
- temporally extended
- modal operators
- markov decision processes
- single agent
- temporal knowledge
- decision theoretic
- logical framework
- specification language
- decision theoretic planning
- computation tree logic
- dynamic environments
- predicate logic
- formal specification
- symbolic model checking
- operational semantics