Collaborated with:A.S.Adimoolam T.Dang A.Donzé X.Jin S.Gao J.V.Deshmukh N.Roohi A.Solar-Lezama N.Aréchiga S.Kong
Talks about:system (2) coverag (1) control (1) continu (1) classif (1) robust (1) induct (1) falsif (1) proof (1) numer (1)
Person: James Kapinski
DBLP: Kapinski:James
Contributed to:
20172019Wrote 2 papers:
- CAV-2017-AdimoolamDDKJ #classification #embedded
- Classification and Coverage-Based Falsification for Embedded Control Systems (ASA, TD, AD, JK, XJ), pp. 483–503.
- CAV-2019-GaoKDRSAK #induction #proving
- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems (SG, JK, JVD, NR, ASL, NA, SK), pp. 137–154.