Security-Aware Reinforcement Learning under Linear Temporal Logic Specifications.
Bohan CuiKeyi ZhuShaoyuan LiXiang YinPublished in: ICRA (2023)
Keyphrases
- linear temporal logic
- bounded model checking
- reinforcement learning
- temporal logic
- model checking
- functional requirements
- transition systems
- information security
- access control
- formal verification
- state space
- formal specification
- model checker
- concurrent systems
- reactive systems
- multi agent
- optimal policy
- high level
- learning algorithm
- specification language
- long run
- optimal control
- machine learning
- markov decision processes
- dynamic programming