STL2vec: Signal Temporal Logic Embeddings for Control Synthesis With Recurrent Neural Networks.
Wataru HashimotoKazumune HashimotoShigemasa TakaiPublished in: IEEE Robotics Autom. Lett. (2022)
Keyphrases
- temporal logic
- recurrent neural networks
- model checking
- modal logic
- feed forward
- neural network
- echo state networks
- recurrent networks
- satisfiability problem
- concurrent systems
- artificial neural networks
- feedforward neural networks
- verification method
- control system
- transition systems
- reservoir computing
- temporal knowledge
- linear temporal logic
- neural model
- mazurkiewicz traces
- cascade correlation
- computation tree logic
- formal specification language
- model checker
- control method
- nonlinear dynamic systems
- adaptive control
- control strategy
- bounded model checking
- heuristic search
- search algorithm