Travelled to:1 × Austria
1 × USA
Collaborated with:S.Mitra M.V.0001 P.S.Duggirala B.Qi M.Viswanathan U.Mathur Z.Huang A.Mereacre M.Z.Kwiatkowska
Talks about:verif (3) nonlinear (2) hybrid (2) powertrain (1) synthesi (1) reachabl (1) composit (1) challeng (1) automata (1) network (1)
Person: Chuchu Fan
DBLP: Fan:Chuchu
Contributed to:
20152014201620172018Wrote 5 papers:
- CAV-2015-DuggiralaFM0 #challenge #verification
- Meeting a Powertrain Verification Challenge (PSD, CF, SM, MV), pp. 536–543.
- CAV-2014-HuangFMMK #automaton #hybrid #invariant #network #verification
- Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells (ZH, CF, AM, SM, MZK), pp. 373–390.
- CAV-2016-FanQM0D #analysis #automation #hybrid #modelling #reachability
- Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2 (CF, BQ, SM, MV0, PSD), pp. 531–538.
- CAV-2017-FanQM0 #composition #data-driven #named #reasoning #verification
- DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems (CF, BQ, SM, MV0), pp. 441–461.
- CAV-2018-FanMM0 #linear #specification #synthesis
- Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics (CF, UM, SM, MV0), pp. 347–366.