Panagiotis Rousseas

Forget designing reachability functions for STL; this work offers operator-based nesting rules that directly tackle complex, multi-nested formulas and enable online control synthesis.

Escape deadlocks and choreograph robots through complex tasks with this new hybrid control architecture that merges planning and control.