Tractable Reinforcement Learning of Signal Temporal Logic Objectives.
Harish K. VenkataramanDerya AksarayPeter J. SeilerPublished in: L4DC (2020)
Keyphrases
- temporal logic
- reinforcement learning
- model checking
- modal logic
- satisfiability problem
- concurrent systems
- verification method
- linear temporal logic
- mazurkiewicz traces
- computation tree logic
- transition systems
- belief revision
- state space
- computational complexity
- multi agent
- partially observable
- automata theoretic
- model checker
- np complete
- domain specific
- decision problems
- markov decision processes
- np hard
- formal specification language