The following pages link to Hadas Kress-Gazit (Q1012728):
Displaying 6 items.
- Temporal logic motion planning for dynamic robots (Q1012729) (← links)
- Reactive synthesis for robotic swarms (Q1631219) (← links)
- Automated generation of dynamics-based runtime certificates for high-level control (Q1693827) (← links)
- Synthesis with Identifiers (Q2938081) (← links)
- Iterative temporal motion planning for hybrid systems in partially unknown environments (Q2986941) (← links)
- Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors (Q2988987) (← links)
