Control and Intelligent Robotics Lab
Home
Research
Reinforcement Learning with Temporal Logic Constraints
Intelligent Soft Robot Mobility in the Real World
Compositional Reactive Synthesis for Provably Correct Systems
Provably safe autonomous navigation
Semantic SLAM
Publications
Our Team
Events and photos
Contact
Contact
Home
/
Contact
