Rajeev Alur, Thao Dang, Franjo Ivancic. Reachability Analysis of Hybrid Systems via Predicate Abstraction. In Claire Tomlin, Mark R. Greenstreet, editors, Hybrid Systems: Computation and Control, 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings. Volume 2289 of Lecture Notes in Computer Science, pages 35-48, Springer, 2002. [doi]
@inproceedings{AlurDI02,
title = {Reachability Analysis of Hybrid Systems via Predicate Abstraction},
author = {Rajeev Alur and Thao Dang and Franjo Ivancic},
year = {2002},
url = {http://link.springer.de/link/service/series/0558/bibs/2289/22890035.htm},
tags = {analysis, abstraction},
researchr = {https://researchr.org/publication/AlurDI02},
cites = {0},
citedby = {0},
pages = {35-48},
booktitle = {Hybrid Systems: Computation and Control, 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings},
editor = {Claire Tomlin and Mark R. Greenstreet},
volume = {2289},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-43321-X},
}