Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks.
Wataru HashimotoKazumune HashimotoMasako KishidaShigemasa TakaiPublished in: CoRR (2022)
Keyphrases
- temporal logic
- concurrent systems
- transition systems
- model checking
- reactive systems
- model checker
- bounded model checking
- formal specification language
- decoding process
- video codec
- distributed video coding
- verification method
- linear temporal logic
- rate distortion
- control theory
- bit rate
- dynamic model
- neural controller
- social networks
- formal specification
- formal verification
- network parameters
- wavelet analysis
- neural model
- fuzzy controller
- network structure
- video coding
- knowledge base