Sayan Mitra - RankMe

197 papers A* 3A 8B 12C 8Misc 4Journal 75Unranked 84

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Active Localization of Unstable Systems with Coarse Information. CoRR Ege Yuceel, Daniel Liberzon, Sayan Mitra
2025	—	`conf`	'Too Theoretical and Nowhere Near Interesting': Using a Tool to Increase Student Motivation for Formal Methods. ITiCSE (1) Katherine Braught, Yangge Li, Katherine Driggs-Campbell, Sayan Mitra
2025	J	`jnl`	Abstract Rendering: Computing All that is Seen in Gaussian Splat Scenes. CoRR Yangge Li, Chenxi Ji, Xiangru Zhong, Huan Zhang, Sayan Mitra
2025	A	`conf`	FalconGym: A Photorealistic Simulation Framework for Zero-Shot Sim-to-Real Vision-Based Quadrotor Navigation. IROS Yan Miao, William Shen, Sayan Mitra
2025	J	`jnl`	FalconWing: An Open-Source Platform for Ultra-Light Fixed-Wing Aircraft Research. CoRR Yan Miao, William Shen, Hang Cui, Sayan Mitra
2025	—	`conf`	Indistinguishability in Localization and Control with Coarse Information. HSCC Daniel Liberzon, Sayan Mitra
2025	—	`conf`	Lyapunov Perception Contracts for Operating Design Domains. L4DC Yangge Li, Chenxi Ji, Jai Anchalia, Yixuan Jia, Benjamin C. Yang, Daniel Zhuang, Sayan Mitra
2025	J	`jnl`	Performance-Guided Refinement for Visual Aerial Navigation using Editable Gaussian Splatting in FalconGym 2.0. CoRR Yan Miao, Ege Yuceel, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Sayan Mitra
2025	—	`conf`	Reachability for Nonsmooth Systems with Lexicographic Jacobians. TACAS (2) Chenxi Ji, Huan Zhang, Sayan Mitra
2025	B	`conf`	Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy. ATVA Jordan Peper, Yan Miao, Sayan Mitra, Ivan Ruchkin
2025	J	`jnl`	Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy. CoRR Jordan Peper, Yan Miao, Sayan Mitra, Ivan Ruchkin
2025	—	`conf`	Verifying Vision-Based Autonomy with Abstract Rendering and Perception Contracts. ICCPS Yangge Li, Chenxi Ji, Sayan Mitra
2025	J	`jnl`	Zero-Shot Sim-to-Real Visual Quadrotor Control with Hard Constraints. CoRR Yan Miao, William Shen, Sayan Mitra
2024	C	`conf`	Assuring Safety of Vision-Based Swarm Formation Control. ACC Chiao Hsieh, Yubin Koh, Yangge Li, Sayan Mitra
2024	J	`jnl`	Can LLMs plan paths with extra hints from solvers? CoRR Erik Wu, Sayan Mitra
2024	—	`conf`	Data-driven Verification of Autonomous Systems: Reachability, Entropy, and Contracts. HSCC Sayan Mitra
2024	—	`conf`	Formal Verification Techniques for Vision-Based Autonomous Systems - A Survey. Principles of Verification (3) Sayan Mitra, Corina S. Pasareanu, Pavithra Prabhakar, Sanjit A. Seshia, Ravi Mangal, Yangge Li, Christopher Watson, Divya Gopinath, Huafeng Yu
2024	J	`jnl`	From Dashcam Videos to Driving Simulations: Stress Testing Automated Vehicles against Rare Events. CoRR Yan Miao, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov, Sayan Mitra
2024	A	`conf`	GAS: Generating Fast & Accurate Surrogate Models for Simulations of Autonomous Vehicle Systems. ISSRE Keyur Joshi, Chiao Hsieh, Sayan Mitra, Sasa Misailovic
2024	C	`conf`	Guaranteed Safe Satellite Guidance and Navigation Using Reachability Based Switching Controllers. ACC Kristina Miller, Sean Phillips, Sayan Mitra
2024	J	`jnl`	Introduction to Special Issue for ICCPS 2022. ACM Trans. Cyber Phys. Syst. Sayan Mitra, Nalini Venkatasubramanian
2024	A*	`conf`	Learning-based Inverse Perception Contracts and Applications. ICRA Dawei Sun, Benjamin C. Yang, Sayan Mitra
2024	—	`conf`	Optimal Runtime Assurance via Reinforcement Learning. ICCPS Kristina Miller, Christopher K. Zeitler, William Shen, Kerianne Hobbs, John Schierman, Mahesh Viswanathan, Sayan Mitra
2024	J	`jnl`	Optimizing Rewards while meeting $\omega$-regular Constraints. RLJ Christopher K. Zeitler, Kristina Miller, Sayan Mitra, John Schierman, Mahesh Viswanathan
2024	J	`jnl`	Symmetry-Based Abstractions for Hybrid Automata. IEEE Trans. Autom. Control. Hussein Sibai, Sayan Mitra
2024	J	`jnl`	Verification and Validation of a Vision-Based Landing System for Autonomous VTOL Air Taxis. CoRR Ayoosh Bansal, Duo Wang, Mikael Yeghiazaryan, Yangge Li, Chuyuan Tao, Hyung-Jin Yoon, Prateek Arora, Christos Papachristos, Petros G. Voulgaris, Sayan Mitra, Lui Sha, Naira Hovakimyan
2024	J	`jnl`	Visual Tracking with Intermittent Visibility: Switched Control Design and Implementation. CoRR Yangge Li, Benjamin C. Yang, Sayan Mitra
2023	—	`conf`	ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH Matthias Althoff, Marcelo Forets, Yangge Li, Sayan Mitra, Christian Schilling, Mark Wetzlinger, Daniel Zhuang
2023	—	`conf`	ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling, Mark Wetzlinger, Daniel Zhuang
2023	J	`jnl`	Learning-based Perception Contracts and Applications. CoRR Dawei Sun, Benjamin C. Yang, Sayan Mitra
2023	—	`conf`	Parallel and Incremental Verification of Hybrid Automata with Ray and Verse. ATVA (1) Haoqing Zhu, Yangge Li, Keyi Shen, Sayan Mitra
2023	J	`jnl`	Perception Contracts for Safety of ML-Enabled Systems. Proc. ACM Program. Lang. Angello Astorga, Chiao Hsieh, P. Madhusudan, Sayan Mitra
2023	—	`ed.`	Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, ICCPS 2023, (with CPS-IoT Week 2023), San Antonio, TX, USA, May 9-12, 2023 ICCPS Sayan Mitra, Nalini Venkatasubramanian, Abhishek Dubey, Lu Feng, Mahsa Ghasemi, Jonathan Sprinkle
2023	B	`conf`	RTAEval: A Framework for Evaluating Runtime Assurance Logic. ATVA Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra
2023	J	`jnl`	RTAEval: A framework for evaluating runtime assurance logic. CoRR Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra
2023	J	`jnl`	Refining Perception Contracts: Case Studies in Vision-based Safe Auto-landing. CoRR Yangge Li, Benjamin C. Yang, Yixuan Jia, Daniel Zhuang, Sayan Mitra
2023	—	`conf`	Safety of the Stanley Controller with Curved Lanes and Noisy Perception. CDC Hongyi Li, Sayan Mitra
2023	J	`jnl`	Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning. CoRR Kristina Miller, Christopher K. Zeitler, William Shen, Kerianne Hobbs, Sayan Mitra, John Schierman, Mahesh Viswanathan
2023	J	`jnl`	State Estimation of Continuous-Time Dynamical Systems With Uncertain Inputs With Bounded Variation: Entropy, Bit Rates, and Relation With Switched Systems. IEEE Trans. Autom. Control. Hussein Sibai, Sayan Mitra
2023	J	`jnl`	Verification of L CoRR Lin Song, Yangge Li, Sheng Cheng, Pan Zhao, Sayan Mitra, Naira Hovakimyan
2023	—	`conf`	Verification of ℒ ICCPS Lin Song, Yangge Li, Sheng Cheng, Pan Zhao, Sayan Mitra, Naira Hovakimyan
2023	—	`conf`	Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios. CAV (1) Yangge Li, Haoqing Zhu, Katherine Braught, Keyi Shen, Sayan Mitra
2023	J	`jnl`	Verse: A Python library for reasoning about multi-agent hybrid system scenarios. CoRR Yangge Li, Haoqing Zhu, Katherine Braught, Keyi Shen, Sayan Mitra
2022	J	`jnl`	Assuring safety of vision-based swarm formation control. CoRR Chiao Hsieh, Yangge Li, Yubin Koh, Sayan Mitra
2022	J	`jnl`	Controller Synthesis for Linear System With Reach-Avoid Specifications. IEEE Trans. Autom. Control. Chuchu Fan, Zengyi Qin, Umang Mathur, Qiang Ning, Sayan Mitra, Mahesh Viswanathan
2022	J	`jnl`	Coordinated Science Laboratory 70th Anniversary Symposium: The Future of Computing. CoRR Klara Nahrstedt, Naresh R. Shanbhag, Vikram S. Adve, Nancy M. Amato, Romit Roy Choudhury, Carl A. Gunter, Nam Sung Kim, Olgica Milenkovic, Sayan Mitra, Lav R. Varshney, Yurii Vlasov, Sarita V. Adve, Rashid Bashir, Andreas Cangellaris, James DiCarlo, Katie Driggs-Campbell, Nick Feamster, Mattia Gazzola, Karrie Karahalios, Sanmi Koyejo, Paul G. Kwiat, Bo Li, Negar Mehr, Ravish Mehra, Andrew Miller, Daniela Rus, Alexander G. Schwing, Anshumali Shrivastava
2022	J	`jnl`	Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos. CoRR Keyur Joshi, Chiao Hsieh, Sayan Mitra, Sasa Misailovic
2022	Misc	`conf`	Industry-track: Challenges in Rebooting Autonomy with Deep Learned Perception. EMSOFT Michael Abraham, Aaron Mayne, Tristan Perez, Ítalo Romani de Oliveira, Huafeng Yu, Chiao Hsieh, Yangge Li, Dawei Sun, Sayan Mitra
2022	J	`jnl`	Learning Certifiably Robust Controllers Using Fragile Perception. CoRR Dawei Sun, Negin Musavi, Geir E. Dullerud, Sanjay Shakkottai, Sayan Mitra
2022	J	`jnl`	MLEFlow: Learning from History to Improve Load Balancing in Tor. Proc. Priv. Enhancing Technol. Hussein Darir, Hussein Sibai, Chin-Yu Cheng, Nikita Borisov, Geir E. Dullerud, Sayan Mitra
2022	J	`jnl`	Model structure takes guesswork out of state estimation: technical perspective. Commun. ACM Sayan Mitra
2022	J	`jnl`	Multi-Agent Motion Planning From Signal Temporal Logic Specifications. IEEE Robotics Autom. Lett. Dawei Sun, Jingkai Chen, Sayan Mitra, Chuchu Fan
2022	J	`jnl`	Multi-agent Motion Planning from Signal Temporal Logic Specifications. CoRR Dawei Sun, Jingkai Chen, Sayan Mitra, Chuchu Fan
2022	—	`conf`	Multi-agent motion planning using differential games with lexicographic preferences. CDC Kristina Miller, Sayan Mitra
2022	—	`conf`	NeuReach: Learning Reachability Functions from Simulations. TACAS (1) Dawei Sun, Sayan Mitra
2022	—	`conf`	Programming Abstractions for Simulation and Testing on Smart Manufacturing Systems. CASE Chiao Hsieh, Daniel Wu, Yubin Koh, Sayan Mitra
2022	J	`jnl`	Symmetry for Boosting Algorithmic Proofs of Cyberphysical Systems. Computer Sayan Mitra, Hussein Sibai
2022	J	`jnl`	Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Chiao Hsieh, Yangge Li, Dawei Sun, Keyur Joshi, Sasa Misailovic, Sayan Mitra
2021	—	`conf`	Egocentric abstractions for modeling and safety verification of distributed cyber-physical systems. SP (Workshops) Sung Woo Jeon, Sayan Mitra
2021	—	`conf`	HIOA-CPS: Combining Hybrid Input-Output Automaton and Game Theory for Security Modeling of Cyber-Physical Systems. SP (Workshops) Mustafa Abdallah, Sayan Mitra, Shreyas Sundaram, Saurabh Bagchi
2021	—	`conf`	HooVer: A Framework for Verification and Parameter Synthesis in Stochastic Systems using Optimistic Optimization. CCTA Negin Musavi, Dawei Sun, Sayan Mitra, Geir E. Dullerud, Sanjay Shakkottai
2021	—	`conf`	Planning in Dynamic and Partially Unknown Environments. ADHS Kristina Miller, Chuchu Fan, Sayan Mitra
2021	—	`conf`	SceneChecker: Boosting Scenario Verification Using Symmetry Abstractions. CAV (1) Hussein Sibai, Yangge Li, Sayan Mitra
2021	—	`conf`	SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems. ITSC Chiao Hsieh, Hussein Sibai, Hebron Taylor, Yifeng Ni, Sayan Mitra
2021	J	`jnl`	Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions. CoRR Chiao Hsieh, Keyur Joshi, Sasa Misailovic, Sayan Mitra
2020	—	`conf`	ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp, Mark Wetzlinger
2020	J	`jnl`	Combining Hybrid Input-Output Automaton and Game Theory for Security Modeling of Cyber-Physical Systems. CoRR Mustafa Abdallah, Sayan Mitra, Shreyas Sundaram, Saurabh Bagchi
2020	A*	`conf`	CyPhyHouse: A programming, simulation, and deployment toolchain for heterogeneous distributed coordination. ICRA Ritwika Ghosh, Joao P. Jansch-Porto, Chiao Hsieh, Amelia Gosse, Minghao Jiang, Hebron Taylor, Peter Du, Sayan Mitra, Geir E. Dullerud
2020	J	`jnl`	Differential Privacy for Sequential Algorithms. CoRR Yu Wang, Hussein Sibai, Sayan Mitra, Geir E. Dullerud
2020	—	`conf`	Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models. CAV (1) Chuchu Fan, Kristina Miller, Sayan Mitra
2020	J	`jnl`	Koord: a language for programming and verifying distributed robotics application. Proc. ACM Program. Lang. Ritwika Ghosh, Chiao Hsieh, Sasa Misailovic, Sayan Mitra
2020	—	`conf`	Multi-agent Safety Verification Using Symmetry Transformations. TACAS (1) Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra
2020	—	`conf`	Online Monitoring for Safe Pedestrian-Vehicle Interactions. ITSC Peter Du, Zhe Huang, Tianqi Liu, Tianchen Ji, Ke Xu, Qichao Gao, Hussein Sibai, Katherine Rose Driggs-Campbell, Sayan Mitra
2020	J	`jnl`	State Estimation of Open Dynamical Systems with Slow Inputs: Entropy, Bit Rates, and relation with Switched Systems. CoRR Hussein Sibai, Sayan Mitra
2020	J	`jnl`	SymAR: Symmetry Abstractions and Refinement for Accelerating Scenarios with Neural Network Controllers Verification. CoRR Hussein Sibai, Yangge Li, Sayan Mitra
2020	J	`jnl`	Symmetry Abstractions for Hybrid Systems and their Applications. CoRR Hussein Sibai, Sayan Mitra
2020	J	`jnl`	Unmanned air-traffic management (UTM): Formalization, a prototype implementation, and performance evaluation. CoRR Chiao Hsieh, Hussein Sibai, Hebron Taylor, Sayan Mitra
2019	J	`jnl`	CyPhyHouse: A Programming, Simulation, and Deployment Toolchain for Heterogeneous Distributed Coordination. CoRR Ritwika Ghosh, Joao P. Jansch-Porto, Chiao Hsieh, Amelia Gosse, Minghao Jiang, Hebron Taylor, Peter Du, Sayan Mitra, Geir E. Dullerud
2019	B	`conf`	Dione: A Protocol Verification System Built with Dafny for I/O Automata. IFM Chiao Hsieh, Sayan Mitra
2019	J	`jnl`	Multi-Agent Safety Verification using Symmetry Transformations. CoRR Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra
2019	J	`jnl`	Online monitoring for safe pedestrian-vehicle interactions. CoRR Peter Du, Zhe Huang, Tianqi Liu, Ke Xu, Qichao Gao, Hussein Sibai, Katherine Rose Driggs-Campbell, Sayan Mitra
2019	J	`jnl`	Optimistic Optimization for Statistical Model Checking with Regret Bounds. CoRR Negin Musavi, Dawei Sun, Sayan Mitra, Geir E. Dullerud, Sanjay Shakkottai
2019	B	`conf`	Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification. ATVA Hussein Sibai, Navid Mokhlesi, Sayan Mitra
2018	—	`conf`	ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@ADHS Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp
2018	—	`conf`	ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS Fabian Immler, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, Majid Zamani
2018	A	`conf`	Algorithmic Attack Synthesis Using Hybrid Dynamics of Power Grid Critical Infrastructures. DSN Zhenqi Huang, Sriharsha Etigowni, Luis Garcia, Sayan Mitra, Saman A. Zonouz
2018	B	`conf`	Approximate Partial Order Reduction. FM Chuchu Fan, Zhenqi Huang, Sayan Mitra
2018	J	`jnl`	CODEV: Automated Model Predictive Control Design and Formal Verification (Tool Paper). CoRR Nicole Chan, Sayan Mitra
2018	—	`conf`	CODEV: Automated Model Predictive Control Design and Formal Verification. HSCC Nicole Chan, Sayan Mitra
2018	—	`conf`	Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics. CAV (1) Chuchu Fan, Umang Mathur, Sayan Mitra, Mahesh Viswanathan
2018	J	`jnl`	Data-Driven Formal Reasoning and Their Applications in Safety Analysis of Vehicle Autonomy Features. IEEE Des. Test Chuchu Fan, Bolun Qi, Sayan Mitra
2018	—	`conf`	DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems. HSCC Bolun Qi, Chuchu Fan, Minghao Jiang, Sayan Mitra
2018	J	`jnl`	Entropy and Minimal Bit Rates for State Estimation and Model Detection. IEEE Trans. Autom. Control. Daniel Liberzon, Sayan Mitra
2018	—	`conf`	Language Semantics Driven Design and Formal Analysis for Distributed Cyber-Physical Systems: [Extended Abstract]. ApPLIED@PODC Ritwika Ghosh, Sasa Misailovic, Sayan Mitra
2018	—	`conf`	Recent Results in State Estimation of Dynamical Systems with Inputs under Bandwidth Constraints. HSCC Hussein Sibai, Sayan Mitra
2018	—	`conf`	SDCworks: a formal framework for software defined control of smart manufacturing systems. ICCPS Matthew Potok, Chien-Ying Chen, Sayan Mitra, Sibin Mohan
2018	J	`jnl`	Simulation-Driven Reachability Using Matrix Measures. ACM Trans. Embed. Comput. Syst. Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra
2018	—	`conf`	State Estimation of Dynamical Systems with Unknown Inputs: Entropy and Bit Rates. HSCC Hussein Sibai, Sayan Mitra
2018	—	`conf`	TightRope: Towards Optimal Load-balancing of Paths in Anonymous Networks. WPES@CCS Hussein Darir, Hussein Sibai, Nikita Borisov, Geir E. Dullerud, Sayan Mitra
2018	—	`conf`	Verifying nonlinear analog and mixed-signal circuits with inputs. ADHS Chuchu Fan, Yu Meng, Jürgen Maier, Ezio Bartocci, Sayan Mitra, Ulrich Schmid
2018	J	`jnl`	Verifying nonlinear analog and mixed-signal circuits with inputs. CoRR Chuchu Fan, Yu Meng, Jürgen Maier, Ezio Bartocci, Sayan Mitra, Ulrich Schmid
2017	J	`jnl`	DRYVR: Data-driven verification and compositional reasoning for automotive systems. CoRR Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan
2017	J	`jnl`	Differential Privacy in Linear Distributed Control Systems: Entropy Minimizing Mechanisms and Performance Tradeoffs. IEEE Trans. Control. Netw. Syst. Yu Wang, Zhenqi Huang, Sayan Mitra, Geir E. Dullerud
2017	—	`conf`	DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems. CAV (1) Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan
2017	—	`conf`	Optimal Data Rate for State Estimation of Switched Nonlinear Systems. HSCC Hussein Sibai, Sayan Mitra
2017	—	`ed.`	Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC 2017, Pittsburgh, PA, USA, April 18-20, 2017 HSCC Goran Frehse, Sayan Mitra
2017	J	`jnl`	Road to safe autonomy with data and formal reasoning. CoRR Chuchu Fan, Bolun Qi, Sayan Mitra
2017	—	`conf`	Verified hybrid LQ control for autonomous spacecraft rendezvous. CDC Nicole Chan, Sayan Mitra
2017	—	`conf`	Verifying safety of an autonomous spacecraft rendezvous mission. ARCH@CPSWeek Nicole Chan, Sayan Mitra
2017	J	`jnl`	Verifying safety of an autonomous spacecraft rendezvous mission. CoRR Nicole Chan, Sayan Mitra
2016	J	`jnl`	Approximate Partial Order Reduction. CoRR Zhenqi Huang, Sayan Mitra
2016	—	`conf`	Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2. CAV (1) Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Parasara Sridhar Duggirala
2016	—	`conf`	Controller synthesis for linear dynamical systems with adversaries. HotSoS Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud
2016	—	`conf`	Differential privacy in control and network systems. CDC Jorge Cortés, Geir E. Dullerud, Shuo Han, Jerome Le Ny, Sayan Mitra, George J. Pappas
2016	—	`conf`	Entropy and Minimal Data Rates for State Estimation and Model Detection. HSCC Daniel Liberzon, Sayan Mitra
2016	—	`conf`	Entropy notions for state estimation and model detection with finite-data-rate measurements. CDC Daniel Liberzon, Sayan Mitra
2016	Misc	`conf`	Locally optimal reach set over-approximation for nonlinear systems. EMSOFT Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra
2016	J	`jnl`	Porting Code Across Simple Mobile Robots. CoRR Yixiao Lin, Sayan Mitra, Shuting Li
2016	C	`conf`	Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. CCA Parasara Sridhar Duggirala, Chuchu Fan, Matthew Potok, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling, Andrew Sogokon, Hoang-Dung Tran, Weiming Xiang
2015	C	`conf`	A Strategy for Automatic Verification of Stabilization of Distributed Algorithms. FORTE Ritwika Ghosh, Sayan Mitra
2015	B	`conf`	Bounded Verification with On-the-Fly Discrepancy Computation. ATVA Chuchu Fan, Sayan Mitra
2015	J	`jnl`	Bounded Verification with On-the-Fly Discrepancy Computation. CoRR Chuchu Fan, Sayan Mitra
2015	A	`conf`	C2E2: A Verification Tool for Stateflow Models. TACAS Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan, Matthew Potok
2015	—	`conf`	C2E2: a tool for verifying annotated hybrid systems. HSCC Parasara Sridhar Duggirala, Matthew Potok, Sayan Mitra, Mahesh Viswanathan
2015	J	`jnl`	Controller Synthesis for Linear Time-varying Systems with Adversaries. CoRR Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud
2015	J	`jnl`	Controller Synthesis with Inductive Proofs for Piecewise Linear Systems: an SMT-based Algorithm. CoRR Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud, Swarat Chaudhuri
2015	—	`conf`	Controller synthesis with inductive proofs for piecewise linear systems: An SMT-based algorithm. CDC Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud, Swarat Chaudhuri
2015	Misc	`conf`	Differentially Private Distributed Optimization. ICDCN Zhenqi Huang, Sayan Mitra, Nitin H. Vaidya
2015	J	`jnl`	Hybrid automata-based CEGAR for rectangular hybrid systems. Formal Methods Syst. Des. Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan
2015	—	`conf`	Meeting a Powertrain Verification Challenge. CAV (1) Parasara Sridhar Duggirala, Chuchu Fan, Sayan Mitra, Mahesh Viswanathan
2015	—	`conf`	Model Checking Tap Withdrawal in C. Elegans. HSB Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan, Radu Grosu, Sayan Mitra, Scott A. Smolka
2015	J	`jnl`	Model Checking Tap Withdrawal in C. Elegans. CoRR Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan, Radu Grosu, Sayan Mitra, Scott A. Smolka
2015	—	`conf`	Progress on Powertrain Verification Challenge with C2E2. ARCH@CPSWeek Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan
2015	J	`jnl`	Safe and stabilizing distributed multi-path cellular flows. Theor. Comput. Sci. Taylor T. Johnson, Sayan Mitra
2015	J	`jnl`	Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage. IEEE Des. Test Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska
2015	B	`conf`	StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems. LCTES Yixiao Lin, Sayan Mitra
2015	J	`jnl`	StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems. CoRR Yixiao Lin, Sayan Mitra
2014	—	`conf`	Anonymized Reachability of Hybrid Automata Networks. FORMATS Taylor T. Johnson, Sayan Mitra
2014	J	`jnl`	Differentially Private Distributed Optimization. CoRR Zhenqi Huang, Sayan Mitra, Nitin H. Vaidya
2014	—	`conf`	Entropy-minimizing mechanism for differential privacy of discrete-time linear feedback systems. CDC Yu Wang, Zhenqi Huang, Sayan Mitra, Geir E. Dullerud
2014	A*	`conf`	Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells. CAV Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska
2014	—	`conf`	Motor-Transmission Drive System: a Benchmark Example for Safety Verification. ARCH@CPSWeek Hongxu Chen, Sayan Mitra, Guangyu Tian
2014	—	`conf`	On the cost of differential privacy in distributed control systems. HiCoNS Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud
2014	—	`conf`	Proofs from simulations and modular annotations. HSCC Zhenqi Huang, Sayan Mitra
2014	J	`jnl`	Proving Abstractions of Dynamical Systems through Numerical Simulations. CoRR Sayan Mitra
2014	—	`conf`	Proving abstractions of dynamical systems through numerical simulations. HotSoS Sayan Mitra
2014	—	`conf`	Synthesis and verification of motor-transmission shift controller for electric vehicles. ICCPS Hongxu Chen, Sayan Mitra
2014	B	`conf`	Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol. FM Parasara Sridhar Duggirala, Le Wang, Sayan Mitra, Mahesh Viswanathan, César A. Muñoz
2013	B	`conf`	Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems. VMCAI Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan
2013	Misc	`conf`	Verification of annotated models from executions. EMSOFT Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan
2013	J	`jnl`	Verifying Cyber-Physical Interactions in Safety-Critical Systems. IEEE Secur. Priv. Sayan Mitra, Tichakorn Wongpiromsarn, Richard M. Murray
2012	—	`conf`	A Small Model Theorem for Rectangular Hybrid Automata Networks. FMOODS/FORTE Taylor T. Johnson, Sayan Mitra
2012	J	`jnl`	Bounded epsilon-Reach Set Computation of a Class of Deterministic and Transversal Linear Hybrid Automata CoRR Kyoung-Dae Kim, Sayan Mitra, P. R. Kumar
2012	—	`conf`	Computing bounded reach sets from sampled simulation traces. HSCC Zhenqi Huang, Sayan Mitra
2012	J	`jnl`	Differentially Private Iterative Synchronous Consensus CoRR Zhenqi Huang, Sayan Mitra, Geir E. Dullerud
2012	—	`conf`	Differentially private iterative synchronous consensus. WPES Zhenqi Huang, Sayan Mitra, Geir E. Dullerud
2012	—	`conf`	Lyapunov abstractions for inevitability of hybrid systems. HSCC Parasara Sridhar Duggirala, Sayan Mitra
2012	—	`conf`	Parametrized Verification of Distributed Cyber-Physical Systems: An Aircraft Landing Protocol Case Study. ICCPS Taylor T. Johnson, Sayan Mitra
2012	J	`jnl`	Safe and Stabilizing Distributed Multi-Path Cellular Flows CoRR Taylor T. Johnson, Sayan Mitra
2012	B	`conf`	Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems. FM Taylor T. Johnson, Jeremy Green, Sayan Mitra, Rachel F. Dudley, Richard Scott Erwin
2012	A	`conf`	Static and Dynamic Analysis of Timed Distributed Traces. RTSS Parasara Sridhar Duggirala, Taylor T. Johnson, Adam Zimmerman, Sayan Mitra
2012	J	`jnl`	Verification of Periodically Controlled Hybrid Systems: Application to an Autonomous Vehicle. ACM Trans. Embed. Comput. Syst. Tichakorn Wongpiromsarn, Sayan Mitra, Andrew G. Lamperski, Richard M. Murray
2011	—	`conf`	A step towards verification and synthesis from simulink/stateflow models. HSCC Karthik Manamcheri, Sayan Mitra, Stanley Bak, Marco Caccamo
2011	—	`conf`	Abstraction Refinement for Stability. ICCPS Parasara Sridhar Duggirala, Sayan Mitra
2011	—	`conf`	Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata. HSCC Kyoung-Dae Kim, Sayan Mitra, P. R. Kumar
2011	—	`conf`	Sandboxing Controllers for Cyber-Physical Systems. ICCPS Stanley Bak, Karthik Manamcheri, Sayan Mitra, Marco Caccamo
2011	—	`conf`	Stability of digitally interconnected linear systems. CDC/ECC Taylor T. Johnson, Sayan Mitra, Cédric Langbort
2011	J	`jnl`	Verification of distributed systems with local-global predicates. Formal Aspects Comput. K. Mani Chandy, Brian Go, Sayan Mitra, Concetta Pilotto, Jerome White
2010	—	`conf`	Bounded ∈-reachability of linear hybrid automata with a deterministic and transversal discrete transition condition. CDC Kyoung-Dae Kim, Sayan Mitra, P. R. Kumar
2010	A	`conf`	Hybrid Cyberphysical System Verification with Simplex Using Discrete Abstractions. IEEE Real-Time and Embedded Technology and Applications Symposium Stanley Bak, Ashley Greer, Sayan Mitra
2010	—	`conf`	On the Theory of Stochastic Processors. QEST Parasara Sridhar Duggirala, Sayan Mitra, Rakesh Kumar, Dean Glazeski
2010	C	`conf`	Safe Flocking in Spite of Actuator Faults. SSS Taylor T. Johnson, Sayan Mitra
2010	A	`conf`	Safe and Stabilizing Distributed Cellular Flows. ICDCS Taylor T. Johnson, Sayan Mitra, Karthik Manamcheri
2009	—	`conf`	Hybrid Input Output Automata for composable conveyor systems. CASE Sayan Mitra, Shivakumar Sastry
2009	B	`conf`	On Convergence of Concurrent Systems under Regular Interactions. CONCUR Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanathan
2009	—	`conf`	Periodically Controlled Hybrid Systems. HSCC Tichakorn Wongpiromsarn, Sayan Mitra, Richard M. Murray, Andrew G. Lamperski
2009	J	`jnl`	Self-stabilizing robot formations over unreliable networks. ACM Trans. Auton. Adapt. Syst. Seth Gilbert, Nancy A. Lynch, Sayan Mitra, Tina Nolte
2009	C	`conf`	Stability of Distributed Algorithms in the Face of Incessant Faults. SSS R. E. Lee DeVille, Sayan Mitra
2008	—	`conf`	A Formalized Theory for Verifying Stability and Convergence of Automata in PVS. TPHOLs Sayan Mitra, K. Mani Chandy
2008	—	`conf`	Convergence Verification: From Shared Memory to Partially Synchronous Systems. FORMATS K. Mani Chandy, Sayan Mitra, Concetta Pilotto
2008	C	`conf`	Self-stabilizing Mobile Robot Formations with Virtual Nodes. SSS Seth Gilbert, Nancy A. Lynch, Sayan Mitra, Tina Nolte
2008	J	`jnl`	Specifying and proving properties of timed I/O automata using Tempo. Des. Autom. Embed. Syst. Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno
2008	J	`jnl`	Verifying average dwell time of hybrid systems. ACM Trans. Embed. Comput. Syst. Sayan Mitra, Daniel Liberzon, Nancy A. Lynch
2007	—	`—`	A verification framework for hybrid systems. Sayan Mitra
2007	—	`conf`	Learning Cycle-Linear Hybrid Automata for Excitable Cells. HSCC Radu Grosu, Sayan Mitra, Pei Ye, Emilia Entcheva, I. V. Ramakrishnan, Scott A. Smolka
2007	—	`conf`	Trace-Based Semantics for Probabilistic Timed I/O Automata. HSCC Sayan Mitra, Nancy A. Lynch
2007	J	`jnl`	Verifying Statistical Zero Knowledge with Approximate Implementations. IACR Cryptol. ePrint Arch. Ling Cheung, Sayan Mitra, Olivier Pereira
2006	—	`conf`	Proving Approximate Implementations for Probabilistic I/O Automata. PDPAR/PaUL@FLoC Sayan Mitra, Nancy A. Lynch
2006	C	`conf`	Specifying and proving properties of timed I/O automata in the TIOA toolkit. MEMOCODE Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno
2006	—	`conf`	Verifying Average Dwell Time by Solving Optimization Problems. HSCC Sayan Mitra, Nancy A. Lynch, Daniel Liberzon
2005	—	`conf`	Motion Coordination using Virtual Nodes. CDC/ECC Nancy A. Lynch, Sayan Mitra, Tina Nolte
2005	B	`conf`	Path Vector Face Routing: Geographic Routing with Local Face Information. ICNP Ben Leong, Sayan Mitra, Barbara Liskov
2005	A	`conf`	Proving Atomicity: An Assertional Approach. DISC Gregory V. Chockler, Nancy A. Lynch, Sayan Mitra, Joshua A. Tauber
2005	—	`conf`	Translating Timed I/O Automata Specifications for Theorem Proving in PVS. FORMATS Hongping Lim, Dilsun Kirli Kaynar, Nancy A. Lynch, Sayan Mitra
2004	—	`conf`	PVS Strategies for Proving Abstraction Properties of Automata. STRATEGIES@IJCAR Sayan Mitra, Myla Archer
2004	—	`conf`	Stability of hybrid automata with average dwell time: an invariant approach. CDC Sayan Mitra, Daniel Liberzon
2003	—	`conf`	Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata. HSCC Sayan Mitra, Yong Wang, Nancy A. Lynch, Eric Feron