Synthesis and verification of robust-adaptive safe controllers.
Simin LiuKai S. YunJohn M. DolanChangliu LiuPublished in: CoRR (2023)
Keyphrases
- controller synthesis
- control system
- model checking
- reinforcement learning
- formal verification
- control strategy
- neural network
- functional verification
- program synthesis
- controller design
- signature verification
- face verification
- texture synthesis
- knowledge base
- database
- search engine
- data structure
- multiscale
- database systems
- image processing