Sayan Mitra

Computer Science · Physical Sciences

32h-index3.8kcitations238works0.82yr avg
OpenAlex↗ORCID↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(126), Software Testing and Debugging Techniques(34), Real-Time Systems Scheduling(24), Petri Nets in System Modeling(24), Real-time simulation and control systems(23)

Publications238 total

Active Localization of Unstable Systems with Coarse Information
arXiv (Cornell University)·2026Open Access
Active Localization of Unstable Systems with Coarse Information
ArXiv.org·2026Open Access
Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy
Lecture notes in computer science·2025
FalconGym: A Photorealistic Simulation Framework for Zero-Shot Sim-to-Real Vision-Based Quadrotor Navigation
2025
Performance-Guided Refinement for Visual Aerial Navigation using Editable Gaussian Splatting in FalconGym 2.0
arXiv (Cornell University)·2025Open Access
Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy
arXiv (Cornell University)·2025· 1 citedOpen Access
'Too Theoretical and Nowhere Near Interesting': Using a Tool to Increase Student Motivation for Formal Methods
2025· 1 citedOpen Access
Verifying Vision-Based Autonomy with Abstract Rendering and Perception Contracts
2025Open Access
Indistinguishability in Localization and Control with Coarse Information
2025Open Access
FalconWing: An Ultra-Light Indoor Fixed-Wing UAV Platform for Vision-Based Autonomy
arXiv (Cornell University)·2025Open Access
FalconGym: A Photorealistic Simulation Framework for Zero-Shot Sim-to-Real Vision-Based Quadrotor Navigation
arXiv (Cornell University)·2025Open Access
Abstract Rendering: Computing All Seen in Gaussian Splat Scenes
arXiv (Cornell University)·2025Open Access
Verification and Validation of a Vision-Based Landing System for Autonomous VTOL Air Taxis
2025· 1 cited
Modeling and Analysis of Collision Avoidance with ACAS Xu in Verse for the GUAM Lift + Cruise Model
2025
Reachability for Nonsmooth Systems with Lexicographic Jacobians
Lecture notes in computer science·2025Open Access
Verification and Validation of a Vision-Based Landing System for Autonomous VTOL Air Taxis
arXiv (Cornell University)·2024Open Access
Formal Verification Techniques for Vision-Based Autonomous Systems – A Survey
Lecture notes in computer science·2024· 5 cited
Visual Tracking with Intermittent Visibility: Switched Control Design and Implementation
arXiv (Cornell University)·2024Open Access
GAS: Generating Fast & Accurate Surrogate Models for Simulations of Autonomous Vehicle Systems
2024
E001 Photoaffinity probe-mediated target identification for HTT PET ligand
2024Open Access
page 1 of 12Next →

Frequent Co-authors

Chuchu Fan(11), Parasara Sridhar Duggirala(10), Zhenqi Huang(9), Mahesh Viswanathan(9), Geir E. Dullerud(6), Nancy Lynch(5), Yu Wang(4), Daniel Liberzon(4), Taylor T. Johnson(4), Bolun Qi(3), Stanley Bak(3), Dawei Sun(2), Karthik Manamcheri(2), Marco Caccamo(2), James Kapinski(2), Xiaoqing Jin(2), Tichakorn Wongpiromsarn(2), Richard M. Murray(2), Tina Nolte(2), Nitin H. Vaidya(1)