Verifying safety and persistence properties of hybrid systems using flowpipes and continuous invariants (bibtex)
by , ,
Reference:
Andrew Sogokon, Paul Jackson, Taylor T. Johnson, "Verifying safety and persistence properties of hybrid systems using flowpipes and continuous invariants", In 9th NASA Formal Methods Symposium (NFM 2017), 2017, may.
Bibtex Entry:
@InProceedings{sogokon2017nfm,
  author =    {Andrew Sogokon and Paul Jackson and Taylor T. Johnson},
  title =     {Verifying safety and persistence properties of hybrid systems using flowpipes and continuous invariants},
  booktitle = {9th NASA Formal Methods Symposium (NFM 2017)},
  year =      {2017},
  month =     may,
  owner =     {tjohnson},
  doi = {},
   acmid = {},
  pdf = {http://www.taylortjohnson.com/research/sogokon2017nfm.pdf},
}
Powered by bibtexbrowser