Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives.
Jun WangSamarth KallurayaYiannis KantarosPublished in: CDC (2022)
Keyphrases
- temporal logic
- neural network
- model checking
- control system
- modal logic
- satisfiability problem
- control strategy
- concurrent systems
- mazurkiewicz traces
- adaptive control
- belief revision
- computation tree logic
- reinforcement learning
- optimal control
- impedance control
- linear temporal logic
- neural network controller
- dynamic constraints
- model checker
- reactive systems
- automata theoretic
- temporally extended
- temporal knowledge
- inverted pendulum
- closed loop
- adaptive neural
- formal verification
- search algorithm
- control method
- bounded model checking
- control algorithm
- search space
- dynamic programming
- formal specification language
- artificial intelligence