Paper accepted to HSCC

The paper “Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors” by Jonathan DeCastro and Hadas Kress-Gazit was accepted to Hybrid Systems: Computation and Control (HSCC) 2016.