Thom Badings
My primary research interests are on the intersection between Engineering, Systems & Control, and Formal Verification. Currently, I am working on sequential decision making under uncertainty with correctness guarantees, with applications to autonomous and robotics systems, predictive maintenance, and electrical power systems.
- • systems and control
- • decision making under uncertainty
- • artificial intelligence
- • abstraction-based controller synthesis
- • predictive maintenance