Saturday, January 20, 2018
Congratulations to Yinan and Luc for having their papers accepted to ACC, HSCC, and ICRA 2018.
- Robustly Complete Reach-and-Stay Control Synthesis for Switched Systems via Interval Analysis (Yinan),
- ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems (Yinan),
- Sampling-based Motion Planning with mu-Calculus Specifications without Steering (Luc),
will be presented at the