Efficient Guaranteed Controllers for Switched Dynamical Systems Using Probabilistic Approximations
Fields of Study & Subjects
Formal Methods in Verification
Bayesian Modeling and Causal Inference
Advanced Control Systems Optimization
Publication details
- Journal / source
- Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
- Pages
- 140–156
- Publication date
- 2 July 2026
- Language
- EN