Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra. Simulation-Driven Reachability Using Matrix Measures. ACM Trans. Embedded Comput. Syst., 17(1), 2018. [doi]
@article{FanKJM18,
title = {Simulation-Driven Reachability Using Matrix Measures},
author = {Chuchu Fan and James Kapinski and Xiaoqing Jin and Sayan Mitra},
year = {2018},
doi = {10.1145/3126685},
url = {http://doi.acm.org/10.1145/3126685},
researchr = {https://researchr.org/publication/FanKJM18},
cites = {0},
citedby = {0},
journal = {ACM Trans. Embedded Comput. Syst.},
volume = {17},
number = {1},
}