Guided Search for Hybrid Systems Based on Coarse-Grained Space Abstractions (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, "Guided Search for Hybrid Systems Based on Coarse-Grained Space Abstractions", International Journal on Software Tools for Technology Transfer (STTT), Springer, vol. 18, no. 4, pp. 449–467, 2016.

Bibtex Entry:

@article{bogomolov2016sttt,
  title = {Guided Search for Hybrid Systems Based on Coarse-Grained Space Abstractions},
  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 = {2016},
  month = aug,
  journal = {International Journal on Software Tools for Technology Transfer (STTT), Springer},
  volume = {18},
  number = {4},
  pages = {449--467},
  doi = {10.1007/s10009-015-0393-y},
  publabel = {J5},
  pubtype = {J},
  gsid = {4980588848043524788},
  dblp = {journals/sttt/BogomolovDFGJLP16},
  s2id = {5823735},
  pmid = {27445640},
  pdf = "research/bogomolov2016sttt.pdf",
}