Non-linear Continuous Systems for Safety Verification (Benchmark Proposal)

Sogokon, Andrew; Ghorbal, Khalil; Johnson, Taylor T.

by Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson

Reference:

Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson, "Non-linear Continuous Systems for Safety Verification (Benchmark Proposal)", In 3rd Applied Verification for Continuous and Hybrid Systems Workshop (ARCH), Vienna, Austria, 2016, apr.

Bibtex Entry:

@InProceedings{sogokon2016arch,
  author =    {Andrew Sogokon and Khalil Ghorbal and Taylor T. Johnson},
  title =     {Non-linear Continuous Systems for Safety Verification (Benchmark Proposal)},
  booktitle = {3rd Applied Verification for Continuous and Hybrid Systems Workshop (ARCH)},
  year =      {2016},
  address =   {Vienna, Austria},
  month =     apr,
    pdf = {http://www.taylortjohnson.com/research/sogokon2016arch.pdf},
}