Recent & Upcoming Talks

Visual Tracking with Intermittent Visibility: Switched Control Design and Implementation
Visual Tracking with Intermittent Visibility: Switched Control Design and Implementation

Supplementary talk for ICRA 2025 submission.

Sep 21, 2024

Code-Level Verification for Autonomous Systems
Code-Level Verification for Autonomous Systems

A showcase of hybrid system verification Verse

Mar 24, 2023