Sayan Mitra

According to our database, Sayan Mitra authored at least 12 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Symmetry-Based Abstractions for Hybrid Automata.

Hussein Sibai, Sayan Mitra

IEEE Trans. Autom. Control., May, 2024

2022

Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions.

Chiao Hsieh, Yangge Li, Dawei Sun, Keyur Joshi, Sasa Misailovic, Sayan Mitra

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Controller Synthesis for Linear System With Reach-Avoid Specifications.

Chuchu Fan, Zengyi Qin, Umang Mathur, Qiang Ning, Sayan Mitra, Mahesh Viswanathan

IEEE Trans. Autom. Control., 2022

Multi-Agent Motion Planning From Signal Temporal Logic Specifications.

Dawei Sun, Jingkai Chen, Sayan Mitra, Chuchu Fan

IEEE Robotics Autom. Lett., 2022

Symmetry for Boosting Algorithmic Proofs of Cyberphysical Systems.

Sayan Mitra, Hussein Sibai

Computer, 2022

NeuReach: Learning Reachability Functions from Simulations.

Dawei Sun, Sayan Mitra

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021

SceneChecker: Boosting Scenario Verification Using Symmetry Abstractions.

Hussein Sibai, Yangge Li, Sayan Mitra

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Multi-agent Safety Verification Using Symmetry Transformations.

Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models.

Chuchu Fan, Kristina Miller, Sayan Mitra

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2018

Entropy and Minimal Bit Rates for State Estimation and Model Detection.

Daniel Liberzon, Sayan Mitra

IEEE Trans. Autom. Control., 2018

Data-Driven Formal Reasoning and Their Applications in Safety Analysis of Vehicle Autonomy Features.

Chuchu Fan, Bolun Qi, Sayan Mitra

IEEE Des. Test, 2018

Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics.

Chuchu Fan, Umang Mathur, Sayan Mitra, Mahesh Viswanathan

Proceedings of the Computer Aided Verification - 30th International Conference, 2018