Reinforcement Learning Based Temporal Logic Control with Soft Constraints Using Limit-deterministic Generalized Büchi Automata.
Mingyu CaiShaoping XiaoZhen KanPublished in: CoRR (2021)
Keyphrases
- temporal logic
- soft constraints
- reinforcement learning
- automata theoretic
- model checking
- hard constraints
- modal logic
- computation tree logic
- optimal control
- constraint satisfaction
- concurrent systems
- constraint satisfaction problems
- finite state
- linear temporal logic
- constraint propagation
- verification method
- mazurkiewicz traces
- state space
- arc consistency
- constraint programming
- temporal knowledge
- transition systems
- finite state automaton
- dynamic programming
- belief revision
- reactive systems
- integrity constraints
- contextual information
- temporally extended
- np hard
- evolutionary algorithm