default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSayan Mitra
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. The links to all actual bibliographies of persons of the same or a similar name can be found below. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Other persons with the same name
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[c15]Yangge Li, Chenxi Ji, Jai Anchalia, Yixuan Jia, Benjamin C. Yang, Daniel Zhuang, Sayan Mitra:
Lyapunov Perception Contracts for Operating Design Domains. L4DC 2025: 1053-1065- [c14]Chenxi Ji, Huan Zhang, Sayan Mitra:
Reachability for Nonsmooth Systems with Lexicographic Jacobians. TACAS (2) 2025: 364-384 - [i29]Yangge Li, Chenxi Ji, Xiangru Zhong, Huan Zhang, Sayan Mitra:
Abstract Rendering: Computing All that is Seen in Gaussian Splat Scenes. CoRR abs/2503.00308 (2025) - [i28]Yan Miao, William Shen, Sayan Mitra:
Zero-Shot Sim-to-Real Visual Quadrotor Control with Hard Constraints. CoRR abs/2503.02198 (2025) - [i27]Yan Miao, William Shen, Hang Cui, Sayan Mitra:
FalconWing: An Open-Source Platform for Ultra-Light Fixed-Wing Aircraft Research. CoRR abs/2505.01383 (2025) - [i26]Jordan Peper, Yan Miao, Sayan Mitra, Ivan Ruchkin:
Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy. CoRR abs/2508.14181 (2025) - 2024
- [j1]Christopher K. Zeitler, Kristina Miller, Sayan Mitra, John Schierman, Mahesh Viswanathan:
Optimizing Rewards while meeting $\omega$-regular Constraints. RLJ 5: 2492-2514 (2024) - [c13]Kristina Miller, Sean Phillips
, Sayan Mitra:
Guaranteed Safe Satellite Guidance and Navigation Using Reachability Based Switching Controllers. ACC 2024: 2298-2303 - [c12]Chiao Hsieh, Yubin Koh, Yangge Li, Sayan Mitra:
Assuring Safety of Vision-Based Swarm Formation Control. ACC 2024: 3215-3222 - [c11]Sayan Mitra, Corina S. Pasareanu, Pavithra Prabhakar, Sanjit A. Seshia, Ravi Mangal, Yangge Li, Christopher Watson, Divya Gopinath, Huafeng Yu:
Formal Verification Techniques for Vision-Based Autonomous Systems - A Survey. Principles of Verification (3) 2024: 89-108 - [c10]Kristina Miller, Christopher K. Zeitler, William Shen, Kerianne Hobbs, John Schierman, Mahesh Viswanathan, Sayan Mitra:
Optimal Runtime Assurance via Reinforcement Learning. ICCPS 2024: 67-76 - [c9]Dawei Sun, Benjamin C. Yang, Sayan Mitra:
Learning-based Inverse Perception Contracts and Applications. ICRA 2024: 11612-11618 - [c8]Keyur Joshi, Chiao Hsieh, Sayan Mitra, Sasa Misailovic:
GAS: Generating Fast & Accurate Surrogate Models for Simulations of Autonomous Vehicle Systems. ISSRE 2024: 260-271 - [c7]Ishika Joshi, Ritvik Budhiraja, Harshal Dev, Jahnvi Kadia, Mohammad Osama Ataullah, Sayan Mitra, Harshal D. Akolekar, Dhruv Kumar:
ChatGPT in the Classroom: An Analysis of Its Strengths and Weaknesses for Solving Undergraduate Computer Science Questions. SIGCSE (1) 2024: 625-631 - [i25]Erik Wu, Sayan Mitra:
Can LLMs plan paths with extra hints from solvers? CoRR abs/2410.05045 (2024) - [i24]Yangge Li, Benjamin C. Yang, Sayan Mitra:
Visual Tracking with Intermittent Visibility: Switched Control Design and Implementation. CoRR abs/2411.08144 (2024) - [i23]Yan Miao, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov, Sayan Mitra:
From Dashcam Videos to Driving Simulations: Stress Testing Automated Vehicles against Rare Events. CoRR abs/2411.16027 (2024) - 2023
- [c6]Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra:
RTAEval: A Framework for Evaluating Runtime Assurance Logic. ATVA 2023: 302-313 - [c5]Hongyi Li, Sayan Mitra:
Safety of the Stanley Controller with Curved Lanes and Noisy Perception. CDC 2023: 8628-8634 - [c4]Sayan Mitra, Cynthia M. Kroeger, Tian Wang, Andrius Masedunskas, Sophie A. Cassidy, Robin Huang, Luigi Fontana, Na Liu:
Gamified Smartphone-App Interventions on Behaviour and Metabolic Profile in Patients at Risk of Cardiovascular Disease. MedInfo 2023: 1542-1543 - [i22]Ishika Joshi, Ritvik Budhiraja, Harshal Dev, Jahnvi Kadia, M. Osama Ataullah, Sayan Mitra, Dhruv Kumar, Harshal D. Akolekar:
ChatGPT - a Blessing or a Curse for Undergraduate Computer Science Students and Instructors? CoRR abs/2304.14993 (2023) - [i21]Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra:
RTAEval: A framework for evaluating runtime assurance logic. CoRR abs/2306.04585 (2023) - [i20]Dawei Sun, Benjamin C. Yang, Sayan Mitra:
Learning-based Perception Contracts and Applications. CoRR abs/2309.13515 (2023) - [i19]Kristina Miller, Christopher K. Zeitler, William Shen, Kerianne Hobbs, Sayan Mitra, John Schierman, Mahesh Viswanathan:
Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning. CoRR abs/2310.04288 (2023) - [i18]Yangge Li, Benjamin C. Yang, Yixuan Jia, Daniel Zhuang, Sayan Mitra:
Refining Perception Contracts: Case Studies in Vision-based Safe Auto-landing. CoRR abs/2311.08652 (2023) - 2022
- [i17]Dawei Sun, Jingkai Chen, Sayan Mitra, Chuchu Fan:
Multi-agent Motion Planning from Signal Temporal Logic Specifications. CoRR abs/2201.05247 (2022) - 2021
- [i16]Chiao Hsieh, Keyur Joshi, Sasa Misailovic, Sayan Mitra:
Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions. CoRR abs/2111.05534 (2021) - 2020
- [i15]Hussein Sibai, Sayan Mitra:
Symmetry Abstractions for Hybrid Systems and their Applications. CoRR abs/2006.09485 (2020) - [i14]Chiao Hsieh, Hussein Sibai, Hebron Taylor, Sayan Mitra:
Unmanned air-traffic management (UTM): Formalization, a prototype implementation, and performance evaluation. CoRR abs/2009.04655 (2020) - [i13]Hussein Sibai, Sayan Mitra:
State Estimation of Open Dynamical Systems with Slow Inputs: Entropy, Bit Rates, and relation with Switched Systems. CoRR abs/2011.10496 (2020) - [i12]Hussein Sibai, Yangge Li, Sayan Mitra:
SymAR: Symmetry Abstractions and Refinement for Accelerating Scenarios with Neural Network Controllers Verification. CoRR abs/2011.10713 (2020)
2010 – 2019
- 2019
- [i11]Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra:
Multi-Agent Safety Verification using Symmetry Transformations. CoRR abs/1911.00608 (2019) - 2018
- [i10]Nicole Chan, Sayan Mitra:
CODEV: Automated Model Predictive Control Design and Formal Verification (Tool Paper). CoRR abs/1804.02568 (2018) - 2017
- [c3]Nicole Chan, Sayan Mitra:
Verifying safety of an autonomous spacecraft rendezvous mission. ARCH@CPSWeek 2017: 20-32 - [i9]Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan:
DRYVR: Data-driven verification and compositional reasoning for automotive systems. CoRR abs/1702.06902 (2017) - [i8]Nicole Chan, Sayan Mitra:
Verifying safety of an autonomous spacecraft rendezvous mission. CoRR abs/1703.06930 (2017) - [i7]Chuchu Fan, Bolun Qi, Sayan Mitra:
Road to safe autonomy with data and formal reasoning. CoRR abs/1704.06406 (2017) - 2016
- [i6]Yixiao Lin, Sayan Mitra, Shuting Li:
Porting Code Across Simple Mobile Robots. CoRR abs/1603.00619 (2016) - [i5]Zhenqi Huang, Sayan Mitra:
Approximate Partial Order Reduction. CoRR abs/1610.06317 (2016) - 2015
- [i4]Chuchu Fan, Sayan Mitra:
Bounded Verification with On-the-Fly Discrepancy Computation. CoRR abs/1502.01801 (2015) - [i3]Yixiao Lin, Sayan Mitra:
StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems. CoRR abs/1502.06286 (2015) - 2014
- [c2]Hongxu Chen, Sayan Mitra, Guangyu Tian:
Motor-Transmission Drive System: a Benchmark Example for Safety Verification. ARCH@CPSWeek 2014: 9-18 - [i2]Sayan Mitra:
Proving Abstractions of Dynamical Systems through Numerical Simulations. CoRR abs/1401.1313 (2014)
2000 – 2009
- 2009
- [c1]Sayan Mitra, Shivakumar Sastry:
Hybrid Input Output Automata for composable conveyor systems. CASE 2009: 29 - 2007
- [b1]Sayan Mitra:
A verification framework for hybrid systems. Massachusetts Institute of Technology, Cambridge, MA, USA, 2007 - [i1]Ling Cheung, Sayan Mitra, Olivier Pereira:
Verifying Statistical Zero Knowledge with Approximate Implementations. IACR Cryptol. ePrint Arch. 2007: 195 (2007)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-10-22 03:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
