Formal Synthesis of Uncertainty Reduction Controllers.
Marc CarwehlCalum ImrieThomas VogelGenaína Nunes RodriguesRadu CalinescuLars GrunskePublished in: SEAMS@ICSE (2024)
Keyphrases
- controller synthesis
- decision theory
- reinforcement learning
- formal model
- uncertain data
- formal specification
- control system
- control strategy
- artificial intelligence
- expected utility
- formal analysis
- reduction method
- formal models
- program synthesis
- fuzzy logic
- closed loop
- expert systems
- control algorithm
- data streams
- possibility theory
- decision making