Formal Synthesis of Uncertainty Reduction Controllers.
Marc CarwehlCalum ImrieThomas VogelGenaína Nunes RodriguesRadu CalinescuLars GrunskePublished in: CoRR (2024)
Keyphrases
- control system
- uncertain data
- controller synthesis
- formal model
- data sets
- control strategy
- reinforcement learning
- artificial intelligence
- information retrieval
- program synthesis
- video sequences
- formal specification
- adaptive control
- formal methods
- reduction method
- robust optimization
- mathematical theory
- machine learning