Sumit Kumar Jha, Susmit Jha. Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions in Model Checking. In 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008. pages 147-153, IEEE Computer Society, 2008. [doi]
@inproceedings{JhaJ08a,
title = {Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions in Model Checking},
author = {Sumit Kumar Jha and Susmit Jha},
year = {2008},
doi = {10.1109/HASE.2008.38},
url = {http://dx.doi.org/10.1109/HASE.2008.38},
tags = {model checking, meta-model, analysis, abstraction, Meta-Environment},
researchr = {https://researchr.org/publication/JhaJ08a},
cites = {0},
citedby = {0},
pages = {147-153},
booktitle = {11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008},
publisher = {IEEE Computer Society},
}