HyRG: a random generation tool for affine hybrid automata

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

doi:10.1145/2728606.2728650

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

Reference:

Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson, "HyRG: a random generation tool for affine hybrid automata", Presented at 18th International Conference on Hybrid Systems: Computation and Control (HSCC 2015) Poster/Demo Session, 2015, apr. (HyRG Software Tool)

Bibtex Entry:

@misc{nguyen2015hscc,
    author      =   {Luan Viet Nguyen and Christian Schilling and Sergiy Bogomolov and Taylor T. Johnson},
    title       =   {HyRG: a random generation tool for affine hybrid automata},
    note        =   {Presented at 18th International Conference on Hybrid Systems: Computation and Control (<a href="http://ljk.imag.fr/hscc2015/">HSCC 2015</a>) <a href="http://ljk.imag.fr/hscc2015/program.html">Poster/Demo Session</a>},
    year        =   {2015},
    gsid        =   {15770939070662677354},
    month       =   apr,
    doi     =   {10.1145/2728606.2728650},
    pdf = {http://www.taylortjohnson.com/research/nguyen2015hscc.pdf},
    software = {http://www.verivital.com/hyrg/},
    comment = {HyRG Software Tool},
}