Main menu
Mitra, Sayan
-
2017
DryVR: Data-driven verification and compositional reasoning for automotive systems
Computer Aided Verification – 29th International Conference, (CAV) -
2015
Bounded verification with on-the-fly discrepancy computation
Automated Technology for Verification and Analysis – 13th International Symposium, (ATVA) -
2016
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP
2016 IEEE Conference on Control Applications, (CCA) -
2017
Simulation-Driven Reachability Using Matrix Measures
ACM Transactions on Embedded Computing Systems -
2021
Fast and Guaranteed Safe Controller Synthesis for Aerial Vehicle Models
AIAA Scitech 2021 Forum -
2018
Verifying nonlinear analog and mixed-signal circuits with inputs
IFAC Conference on Analysis and Design of Hybrid Systems, (ADHS) -
2015
Meeting a powertrain verification challenge
Computer Aided Verification – 27th International Conference, (CAV) -
2015
Progress on Powertrain Verification Challenge with C2E2
International Workshop on Applied Verification for Continuous and Hybrid Systems, (ARCH) -
2020
Multi-agent safety verification using symmetry transformations
26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)