bootstrap themes

Current Projects

Enabling long-term marine robotic autonomy: from learning specifications to autonomous navigation and interaction

Control synthesis for partially known dynamical systems with safety guarantees

Designing safe driver assistance systems through cognitive modeling and reactive synthesis

Interactive manipulation through scalable reactive synthesis

Mapping and motion planning for safe autonomous navigation

Past Works

Verification and synthesis for stochastic hybrid systems

Automatic control synthesis from high-level specifications

Planning for probabilistic robots with complex missions

Robust and efficient planning in uncharted territories

Decision making and Planning in partially unknown environments

Specification revision with optimal satisfaction guarantees

Resource-performance trade-off for mobile robot design