Verifying safety and persistence properties of hybrid systems using flowpipes and continuous invariants (bibtex)

by A Sogokon, PB Jackson and Taylor T. Johnson

Reference:

A Sogokon, PB Jackson and Taylor T. Johnson, "Verifying safety and persistence properties of hybrid systems using flowpipes and continuous invariants", In 9th NASA Formal Methods Symposium (NFM'17), Springer, pp. 194–211, 2017.

Bibtex Entry:

@inproceedings{sogokon2017nfm,
  title = {Verifying safety and persistence properties of hybrid systems using flowpipes and continuous invariants},
  author = {A Sogokon and PB Jackson and Taylor T. Johnson},
  year = {2017},
  month = may,
  booktitle = {9th NASA Formal Methods Symposium (NFM'17)},
  volume = {10227},
  pages = {194--211},
  publisher = {Springer},
  doi = {10.1007/978-3-319-57288-8_14},
  publabel = {C19},
  pubtype = {C},
  dblp = {conf/nfm/SogokonJJ17},
  pdf = "research/sogokon2017nfm.pdf",
}