by Johanna Nellen, Erika Ábrahám, Xin Chen, Pieter Collins
Reference:
Counterexample Generation for Hybrid Automata (Johanna Nellen, Erika Ábrahám, Xin Chen, Pieter Collins), Chapter in Formal Techniques for Safety-Critical Systems, Springer, 2014.
Bibtex Entry:
@incollection{nellen2014counterexample,
title={Counterexample Generation for Hybrid Automata},
author={Nellen, Johanna and {'A}brah{'a}m, Erika and Chen, Xin and Collins, Pieter},
booktitle={Formal Techniques for Safety-Critical Systems},
pages={88--106},
year={2014},
publisher={Springer}
}