HyRG: a random generation tool for affine hybrid automata (bibtex)
by , , ,
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},
}
Powered by bibtexbrowser