Abstraction-based guided search for hybrid systems (bibtex)

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

Reference:

Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski and Martin Wehrle, "Abstraction-based guided search for hybrid systems", In 20th International SPIN Symposium on Model Checking of Software (SPIN'13), Springer, pp. 117–134, 2013.

Bibtex Entry:

@inproceedings{bogomolov2013spin,
  title = {Abstraction-based guided search for hybrid systems},
  author = {Sergiy Bogomolov and Alexandre Donzé and Goran Frehse and Radu Grosu and Taylor T. Johnson and Hamed Ladan and Andreas Podelski and Martin Wehrle},
  year = {2013},
  booktitle = {20th International SPIN Symposium on Model Checking of Software (SPIN'13)},
  pages = {117--134},
  publisher = {Springer},
  doi = {10.1007/978-3-642-39176-7_8},
  publabel = {C7},
  pubtype = {C},
  gsid = {9142077756418010202},
  dblp = {conf/spin/BogomolovDFGJLPW13},
  pdf = "research/bogomolov2013spin.pdf",
}