Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives.
Jun WangSamarth KallurayaYiannis KantarosPublished in: CoRR (2022)
Keyphrases
- temporal logic
- neural network
- control system
- model checking
- modal logic
- satisfiability problem
- control strategy
- verification method
- concurrent systems
- adaptive neural
- mazurkiewicz traces
- temporal knowledge
- inverted pendulum
- impedance control
- control method
- belief revision
- neural network controller
- computation tree logic
- reinforcement learning
- model checker
- optimal control
- temporally extended
- automata theoretic