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", 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,
  doi = {10.1145/2728606.2728650},
  publabel = {OW1},
  pubtype = {OW},
  gsid = {15770939070662677354},
  pdf = "research/nguyen2015hscc.pdf",
}