Guided Search for Hybrid Systems Based on Coarse-Grained Space Abstractions (bibtex)
by , , , , , , ,
Abstract:
Reference:
Sergiy Bogomolov, Alexandre Donze, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle, "Guided Search for Hybrid Systems Based on Coarse-Grained Space Abstractions", In Software Tools for Technology Transfer (STTT), Springer, , pp. , 2015, aug.
Bibtex Entry:
@article{bogomolov2015sttt,
        author          =       {Sergiy Bogomolov and Alexandre Donze and Goran Frehse and Radu Grosu and Taylor T. Johnson and Hamed Ladan and Andreas Podelski and Martin Wehrle},
        title           =       {Guided Search for Hybrid Systems Based on Coarse-Grained Space Abstractions},
        year            =       {2015},
	journal		=	{Software Tools for Technology Transfer (STTT)},
	publisher = {Springer},
	address		=	{},
        month           =       aug,
        pages           =       {},
        doi		=	{10.1007/s10009-015-0393-y},
        gsid		=	{4980588848043524788},
        abstract	=	{},
        software = {http://www2.informatik.uni-freiburg.de{\~}bogom/sttt2015/},
        pdf	= {http://www.taylortjohnson.com/research/bogomolov2015sttt.pdf}
}
Powered by bibtexbrowser