Flavio Lerda, James Kapinski, Hitashyam Maka, Edmund M. Clarke, Bruce H. Krogh. Model checking in-the-loop: Finding counterexamples by systematic simulation. In American Control Conference, ACC 2008, Seattle, WA, USA, 11-13 June 2008. pages 2734-2740, IEEE, 2008. [doi]
@inproceedings{LerdaKMCK08,
title = {Model checking in-the-loop: Finding counterexamples by systematic simulation},
author = {Flavio Lerda and James Kapinski and Hitashyam Maka and Edmund M. Clarke and Bruce H. Krogh},
year = {2008},
doi = {10.1109/ACC.2008.4586906},
url = {https://doi.org/10.1109/ACC.2008.4586906},
researchr = {https://researchr.org/publication/LerdaKMCK08},
cites = {0},
citedby = {0},
pages = {2734-2740},
booktitle = {American Control Conference, ACC 2008, Seattle, WA, USA, 11-13 June 2008},
publisher = {IEEE},
}