Main menu
Mitra, Sayan
-
2014
Invariant verification of nonlinear hybrid automata networks of cardiac cells
Computer Aided Verification – 26th International Conference, (CAV) -
2020
Fast and guaranteed safe controller synthesis for nonlinear vehicle models
International Conference on Computer Aided Verification (CAV) -
2018
DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems
Hybrid Systems: Computation and Control – 21st International Conference, (HSCC) -
2016
Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2
Computer Aided Verification – 28th International Conference, (CAV) -
2017
Bounded invariant verification for time-delayed nonlinear networked dynamical systems
Nonlinear Analysis: Hybrid Systems -
2019
Data-Driven Safety Verification of Complex Cyber-Physical Systems
Design Automation of Cyber-Physical Systems -
2015
Model checking tap withdrawal in c. Elegans
Hybrid Systems Biology – Fourth International Workshop, (HSB) -
2018
Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics
Computer Aided Verification – 30th International Conference, (CAV)