Affiliation:
1. University of Pennsylvania
Funder
National Science Foundation
Defense Advanced Research Projects Agency
Office of Naval Research
Reference37 articles.
1. US National Highway Traffic Safety Administration. {n. d.}. Investigation PE 16-007. https://static.nhtsa.gov/odi/inv/2016/INCLA-PE16007-7876.pdf. US National Highway Traffic Safety Administration. {n. d.}. Investigation PE 16-007. https://static.nhtsa.gov/odi/inv/2016/INCLA-PE16007-7876.pdf.
2. R. Alur C. Courcoubetis N. Halbwachs T. A. Henzinger P. H. Ho X. Nicollin A. Olivero J. Sifakis and S. Yovine. 1995. The algorithmic analysis of hybrid systems. Theoretical computer science 138 1 (1995) 3--34. 10.1016/0304-3975(94)00202-T R. Alur C. Courcoubetis N. Halbwachs T. A. Henzinger P. H. Ho X. Nicollin A. Olivero J. Sifakis and S. Yovine. 1995. The algorithmic analysis of hybrid systems. Theoretical computer science 138 1 (1995) 3--34. 10.1016/0304-3975(94)00202-T
3. US National Transportation Safety Board. {n. d.}. Preliminary Report Highway HWY18MH010. https://www.ntsb.gov/investi-gations/AccidentReports/Reports/HWY18MH010-prelim.pdf. US National Transportation Safety Board. {n. d.}. Preliminary Report Highway HWY18MH010. https://www.ntsb.gov/investi-gations/AccidentReports/Reports/HWY18MH010-prelim.pdf.
4. Efficient finite abstraction of mixed monotone systems
Cited by
150 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献