STL2vec: Signal Temporal Logic Embeddings for Control Synthesis With Recurrent Neural Networks.
Wataru HashimotoKazumune HashimotoShigemasa TakaiPublished in: CoRR (2021)
Keyphrases
- temporal logic
- recurrent neural networks
- model checking
- neural network
- modal logic
- satisfiability problem
- feed forward
- echo state networks
- computation tree logic
- concurrent systems
- artificial neural networks
- linear temporal logic
- recurrent networks
- reservoir computing
- neural model
- mazurkiewicz traces
- feedforward neural networks
- nonlinear dynamic systems
- belief revision
- cascade correlation
- formal verification
- transition systems
- automata theoretic
- dynamic constraints
- verification method
- temporal knowledge
- model checker
- optimal control
- control strategy
- back propagation
- control system
- artificial intelligence