EasyChair Smart Slide
Optimal and Robust Controller Synthesis Using Energy Timed Automata with Uncertainty
Optimal and Robust Controller Synthesis Using Energy Timed Automata with Uncertainty