Guided Search for Hybrid Systems Based on Coarse-Grained Space Abstractions

Bogomolov, Sergiy; Donze, Alexandre; Frehse, Goran; Grosu, Radu; Johnson, Taylor T.; Ladan, Hamed; Podelski, Andreas; Wehrle, Martin

doi:10.1007/s10009-015-0393-y

by Sergiy Bogomolov, Alexandre Donze, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle

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, vol. 18, , pp. , 2016, aug.

Bibtex Entry:

@article{bogomolov2016sttt,
        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            =       {2016},
    journal     =   {Software Tools for Technology Transfer (STTT)},
    publisher = {Springer},
    address     =   {},
        month           =       aug,
        pages           =       {},
        doi     =   {10.1007/s10009-015-0393-y},
        gsid        =   {4980588848043524788},
        abstract    =   {},
        volume      =   {18},
        issue       =   {4},
        software = {http://www2.informatik.uni-freiburg.de{\~}bogom/sttt2015/},
        pdf = {http://www.taylortjohnson.com/research/bogomolov2016sttt.pdf}
}