Mo Chen. High Dimensional Reachability Analysis: Addressing the Curse of Dimensionality in Formal Verification. PhD thesis, University of California, Berkeley, USA, 2017. [doi]
@phdthesis{basesearch-8277,
title = {High Dimensional Reachability Analysis: Addressing the Curse of Dimensionality in Formal Verification},
author = {Mo Chen},
year = {2017},
url = {https://www.base-search.net/Record/b498f4c0cbc07f5bd3cb3396f8f6ffc3a6050d490806ccb9db183961e09452d6},
note = {base-search.net (ftcdlib:qt8m7423mq)},
researchr = {https://researchr.org/publication/basesearch-8277},
cites = {0},
citedby = {0},
school = {University of California, Berkeley, USA},
}