Hadas Kress-Gazit has been awarded the Charles Hallac and Sarah Keil
Wolf Award for her contributions in developing robot
planning methods using model checking and hybrid systems.
Wolf Award for her contributions in developing robot
planning methods using model checking and hybrid systems.