Hadas Kress-Gazit
First name(s): Hadas
Last name(s): Kress-Gazit

Publications of Hadas Kress-Gazit
2011
Hadas Kress-Gazit, Tichakorn Wongpiromsarn and Ufuk Topcu, Correct, Reactive Robot Control from Abstraction and Temporal Logic Specifications (2011), in: Special Issue of the IEEE Robotics and Automation Magazine on Formal Methods for Robotics and Automation, 18:3(65--74)