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} }