Counterexample Generation for Hybrid Automata

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

Bookmark the permalink.