Semantics of Hybrid System Team
Open positions
People
Projects
Publications
Teaching
Software
Faculty position
Research Engineer positions available
Postdoc positions available
PhD positions available
Développement d’un moniteur
in French
Riskaware control synthesis for temporal logic specification with safety guarantees
Master’s internship positions available
Robust signal temporal logic model predictive control