Amit Gurung, Rajarshi Ray 0001, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu. Parallel reachability analysis of hybrid systems in XSpeed. STTT, 21(4):401-423, 2019. [doi]
@article{GurungRBBG19,
title = {Parallel reachability analysis of hybrid systems in XSpeed},
author = {Amit Gurung and Rajarshi Ray 0001 and Ezio Bartocci and Sergiy Bogomolov and Radu Grosu},
year = {2019},
doi = {10.1007/s10009-018-0485-6},
url = {https://doi.org/10.1007/s10009-018-0485-6},
researchr = {https://researchr.org/publication/GurungRBBG19},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {21},
number = {4},
pages = {401-423},
}