HyRG: a random generation tool for affine hybrid automata (bibtex)

by Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov and Taylor T. Johnson

Reference:

Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov and Taylor T. Johnson, "HyRG: a random generation tool for affine hybrid automata", In 18th International Conference on Hybrid Systems: Computation and Control (HSCC'15), pp. 289–290, 2015.

Bibtex Entry:

@inproceedings{nguyen2015hscc,
  title = {HyRG: a random generation tool for affine hybrid automata},
  author = {Luan Viet Nguyen and Christian Schilling and Sergiy Bogomolov and Taylor T. Johnson},
  year = {2015},
  month = apr,
  booktitle = {18th International Conference on Hybrid Systems: Computation and Control (HSCC'15)},
  pages = {289--290},
  doi = {10.1145/2728606.2728650},
  publabel = {OW1},
  pubtype = {OW},
  gsid = {15770939070662677354},
  pdf = "research/nguyen2015hscc.pdf",
}