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

by A Sogokon, K Ghorbal and Taylor T. Johnson

Reference:

A Sogokon, K Ghorbal and Taylor T. Johnson, "Non-linear Continuous Systems for Safety Verification (Benchmark Proposal)", In 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'16), EasyChair, pp. 42–51, 2016.

Bibtex Entry:

@inproceedings{sogokon2016arch,
  title = {Non-linear Continuous Systems for Safety Verification (Benchmark Proposal)},
  author = {A Sogokon and K Ghorbal and Taylor T. Johnson},
  year = {2016},
  booktitle = {3rd International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'16)},
  volume = {43},
  pages = {42--51},
  publisher = {EasyChair},
  doi = {10.29007/w94n},
  publabel = {W8},
  pubtype = {W},
  pdf = "research/sogokon2016arch.pdf",
}