Остановите войну!
for scientists:
default search action
Sayan Mitra
- > Home > Persons > Sayan Mitra
Publications
- 2022
- [j17]Dawei Sun, Jingkai Chen, Sayan Mitra, Chuchu Fan:
Multi-Agent Motion Planning From Signal Temporal Logic Specifications. IEEE Robotics Autom. Lett. 7(2): 3451-3458 (2022) - [j16]Chuchu Fan, Zengyi Qin, Umang Mathur, Qiang Ning, Sayan Mitra, Mahesh Viswanathan:
Controller Synthesis for Linear System With Reach-Avoid Specifications. IEEE Trans. Autom. Control. 67(4): 1713-1727 (2022) - [i34]Dawei Sun, Jingkai Chen, Sayan Mitra, Chuchu Fan:
Multi-agent Motion Planning from Signal Temporal Logic Specifications. CoRR abs/2201.05247 (2022) - 2021
- [c94]Kristina Miller, Chuchu Fan, Sayan Mitra:
Planning in Dynamic and Partially Unknown Environments. ADHS 2021: 169-174 - 2020
- [c87]Chuchu Fan, Kristina Miller, Sayan Mitra:
Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models. CAV (1) 2020: 629-652 - [c84]Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra:
Multi-agent Safety Verification Using Symmetry Transformations. TACAS (1) 2020: 173-190 - 2019
- [i20]Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra:
Multi-Agent Safety Verification using Symmetry Transformations. CoRR abs/1911.00608 (2019) - 2018
- [j13]Chuchu Fan, Bolun Qi, Sayan Mitra:
Data-Driven Formal Reasoning and Their Applications in Safety Analysis of Vehicle Autonomy Features. IEEE Des. Test 35(3): 31-38 (2018) - [j11]Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra:
Simulation-Driven Reachability Using Matrix Measures. ACM Trans. Embed. Comput. Syst. 17(1): 21:1-21:28 (2018) - [c81]Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp:
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@ADHS 2018: 23-52 - [c80]Fabian Immler, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, Majid Zamani:
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS 2018: 53-70 - [c79]Chuchu Fan, Yu Meng, Jürgen Maier, Ezio Bartocci, Sayan Mitra, Ulrich Schmid:
Verifying nonlinear analog and mixed-signal circuits with inputs. ADHS 2018: 241-246 - [c78]Chuchu Fan, Umang Mathur, Sayan Mitra, Mahesh Viswanathan:
Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics. CAV (1) 2018: 347-366 - [c76]Chuchu Fan, Zhenqi Huang, Sayan Mitra:
Approximate Partial Order Reduction. FM 2018: 588-607 - [c74]Bolun Qi, Chuchu Fan, Minghao Jiang, Sayan Mitra:
DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems. HSCC 2018: 269-270 - [i18]Chuchu Fan, Yu Meng, Jürgen Maier, Ezio Bartocci, Sayan Mitra, Ulrich Schmid:
Verifying nonlinear analog and mixed-signal circuits with inputs. CoRR abs/1803.02975 (2018) - 2017
- [c68]Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan:
DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems. CAV (1) 2017: 441-461 - [i16]Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan:
DRYVR: Data-driven verification and compositional reasoning for automotive systems. CoRR abs/1702.06902 (2017) - [i14]Chuchu Fan, Bolun Qi, Sayan Mitra:
Road to safe autonomy with data and formal reasoning. CoRR abs/1704.06406 (2017) - 2016
- [c64]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:
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. CCA 2016: 1024-1029 - [c63]Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Parasara Sridhar Duggirala:
Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2. CAV (1) 2016: 531-538 - [c60]Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra:
Locally optimal reach set over-approximation for nonlinear systems. EMSOFT 2016: 6:1-6:10 - 2015
- [j9]Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska:
Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage. IEEE Des. Test 32(5): 27-34 (2015) - [c57]Chuchu Fan, Sayan Mitra:
Bounded Verification with On-the-Fly Discrepancy Computation. ATVA 2015: 446-463 - [c56]Parasara Sridhar Duggirala, Chuchu Fan, Sayan Mitra, Mahesh Viswanathan:
Meeting a Powertrain Verification Challenge. CAV (1) 2015: 536-543 - [c54]Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan:
Progress on Powertrain Verification Challenge with C2E2. ARCH@CPSWeek 2015: 207-212 - [c52]Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan, Radu Grosu, Sayan Mitra, Scott A. Smolka:
Model Checking Tap Withdrawal in C. Elegans. HSB 2015: 195-210 - [i10]Chuchu Fan, Sayan Mitra:
Bounded Verification with On-the-Fly Discrepancy Computation. CoRR abs/1502.01801 (2015) - [i8]Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan, Radu Grosu, Sayan Mitra, Scott A. Smolka:
Model Checking Tap Withdrawal in C. Elegans. CoRR abs/1503.06480 (2015) - 2014
- [c47]Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska:
Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells. CAV 2014: 373-390
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 2024-05-05 02:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint