Sayan Mitra
Professor
Studies formal verification and safety of autonomous systems, including verified perception and control for autonomous vehicles.
Sayan Mitra's lab at UIUC works on autonomous vehicles & drones, planning, control & multi-robot systems and embodied & active vision. 26 papers since 2023, 6 at top venues, mostly ACC and CDC. 5 PhD students and 4 master's students. 56 alumni, most often to IBM and Meta. Applications close .
At a glance
- papers, 2023–2026
- 7/ year
- at T1 venues
- 23%
- PhD students
- 5
- MS students
- 4
- alumni listed
- 56
Papers by yearfrom the lab homepage, 2023–2026
- 5 papers2026 · T1 2 · collecting
- 6 papers2025 · T1 2
- 7 papers2024 · T1 1
- 8 papers2023 · T1 1
T1 venuesOtherVenues: ACC, CDC, IROS, TAC, ICRA
Research focuspaper titles that use each topic's words
- Planning, control & multi-robot systems12 papers
- Embodied & active vision5 papers
- Autonomous vehicles & drones2 papers
- autonomous2 papers
- verified0 papers
Paper list
From the lab homepage.
20265 papers
- ACM/IEEE HSCC-ICCPS'26Active Localization of Unstable Systems with Coarse Information (opens in a new tab)
- IROS (T1)FalconTrack: Photorealistic Auto-Labeled Perception and Physics-Aware Vision-Based Aerial Tracking (opens in a new tab)
- CDCMinimal Information Control Invariance via Vector Quantization (opens in a new tab)
- ICRA (T1)Performance-Guided Refinement for Visual Aerial Navigation using Editable Gaussian Splatting in FalconGym 2.0 (opens in a new tab)
- ACM/IEEE HSCC-ICCPS'26Visual Tracking with Intermittent Visibility: Switched Control (opens in a new tab)
20256 papers
- Proceedings of the ACM Conference on Innovation and Technology in Computer Science Education"Too Theoretical and Nowhere Near Interesting": Using a Tool to Increase Student Motivation for Formal Methods (opens in a new tab)
- NeurIPS (T1)Abstract Rendering: Certified Rendering Under 3D Semantic Uncertainty (opens in a new tab)
- IROS (T1)FalconGym: A Photorealistic Simulation Framework for Zero-Shot Sim-to-Real Vision-Based Quadrotor Navigation (opens in a new tab)
- HSCCIndistinguishability in Localization and Control with Coarse Information (opens in a new tab)
- L4DCLyapunov Perception Contracts for Operating Design Domains (opens in a new tab)
- TACASReachability for Nonsmooth Systems with Lexicographic Jacobians (opens in a new tab)
20247 papers
- ACCAssuring safety of vision-based swarm formation control (opens in a new tab)
- Principles of Verification: Cycling the Probabilistic Landscape . Lecture Notes in Computer ScienceFormal Verification Techniques for Vision-Based Autonomous Systems – A Survey (opens in a new tab)
- ISSREGAS: Generating Fast & Accurate Surrogate Models for Simulations of Autonomous Vehicle Systems (opens in a new tab)
- ACCGuaranteed safe satellite guidance and navigation using reachability based switching controllers (opens in a new tab)
- IEEE/ACM ICCPS International Conference on Cyberphysical Systems (ICCPS ), Hong KongOptimal runtime assurance via reinforcement learning (opens in a new tab)
- Reinforcement Learning JournalOptimizing rewards while meeting ω-regular Constraints (opens in a new tab)
- TAC (T1)Symmetry-based Abstractions for Hybrid Automata. (opens in a new tab)
20238 papers
- OJ-CSYSHyHooVer: Verification and Parameter Synthesis in Stochastic Systems with Hybrid State Space Using Optimistic Optimization. (opens in a new tab)
- proceedings of IEEE International Conference on Robotics and Automation (ICRA), 11612-11618Learning-based Inverse Perception Contracts and Applications. (opens in a new tab)
- ATVAParallel and incremental verification of hybrid automata with Ray and Verse (opens in a new tab)
- OOPSLAPerception Contracts for Safety of ML-Enabled Systems. (opens in a new tab)
- ATVARTAEval: A framework for evaluating runtime assurance logic. (opens in a new tab)
- CDCSafety of the Stanley controller with curved lanes and noisy perception (opens in a new tab)
- TAC (T1)State Estimation of Continuous-time Dynamical Systems with Uncertain Inputs with Bounded Variation: Entropy, Bit Rates, and relation with Switched Systems. (opens in a new tab)
- CAVVerse: A Python library for reasoning about multi-agent hybrid system scenarios. (opens in a new tab)
Where alumni went56 listed, 46% to industry
Industry 6Academia 7
Most often to
- IBM
- Meta
- Amazon
Also to
- UIUC
- MIT
- Vanderbilt University
Apply to UIUCFall 2027
UIUC Siebel Computer Science PhD
- Round
- Single round
- Opens
- —
- GRE
- optional
- English
- TOEFL iBT / IELTS
- Fee
- USD 90
Not yet confirmed for this intake.
Similar labsnearest by research summary
- USMichigan
Deanna Gates
- Human-robot interaction & assistive robots
- USMichigan
Elliott Rouse
- Human-robot interaction & assistive robots
- USCMU
Sebastian Scherer
- Robot perception & SLAM
- SGNUS
Marcelo H. Ang Jr
- Manipulation & robot learning
- USCMU
Raj Rajkumar
- Autonomous vehicles & drones
- USStanford
Marco Pavone
- Autonomous vehicles & drones
Your notes
Save this lab to keep notes.
Data
Checked against the lab homepage.
- Collected
- Verified
- Papers
- The lab homepage
- Members
- Lab homepage
- Alumni
- Lab homepage
Tiers are venue classifications, not lab rankings.
UIUCcloses