Poster: HyRG: A Random Generation Tool for Affine Hybrid Automata (bibtex)

by LV Nguyen, C Schilling, S Bogomolov and Taylor T. Johnson

Reference:

LV Nguyen, C Schilling, S Bogomolov and Taylor T. Johnson, "Poster: HyRG: A Random Generation Tool for Affine Hybrid Automata", 18th International Conference on Hybrid Systems: Computation and Control (HSCC'15), ACM, pp. 289–290, 2015.

Bibtex Entry:

@misc{nguyen2015hscc_poster,
  title = {Poster: HyRG: A Random Generation Tool for Affine Hybrid Automata},
  author = {LV Nguyen and C Schilling and S Bogomolov and Taylor T. Johnson},
  year = {2015},
  howpublished = {18th International Conference on Hybrid Systems: Computation and Control (HSCC'15)},
  note = {18th International Conference on Hybrid Systems: Computation and Control (HSCC'15)},
  pages = {289--290},
  publisher = {ACM},
  doi = {10.1145/2728606.2728650},
  publabel = {D2},
  pubtype = {D},
}