Papers accepted to ACC, HSCC, and ICRA 2018

Congratulations to Yinan and Luc for having their papers accepted to ACC, HSCC, and ICRA 2018. 

The papers 

• 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 

• American Control Conference (ACC'18),
• ACM International Conference on Hybrid Systems: Computation and Control (HSCC'18), 
• IEEE International Conference on Robotics and Automation (ICRA'18).