Deep Reinforcement Learning Based Networked Control with Network Delays for Signal Temporal Logic Specifications.
Junya IkemotoToshimitsu UshioPublished in: CoRR (2021)
Keyphrases
- temporal logic
- concurrent systems
- model checking
- reinforcement learning
- transition systems
- bounded model checking
- reactive systems
- modal logic
- model checker
- formal specification
- formal specification language
- optimal control
- satisfiability problem
- dynamic constraints
- state information
- temporal knowledge
- verification method
- belief revision
- data flow
- control policy
- computation tree logic
- communication networks
- mazurkiewicz traces
- automata theoretic
- optimal policy
- multi agent