Quantified Bounded Model Checking for Rectangular Hybrid Automata

Nguyen, Luan Viet; Maksimovic, Djordje; Johnson, Taylor T.; Veneris, Andreas

by Luan Viet Nguyen, Djordje Maksimovic, Taylor T. Johnson, Andreas Veneris

Reference:

Luan Viet Nguyen, Djordje Maksimovic, Taylor T. Johnson, Andreas Veneris, "Quantified Bounded Model Checking for Rectangular Hybrid Automata", In 9th International Workshop on Constraints in Formal Verification (CFV 2015), Austin, Texas, 2015, nov.

Bibtex Entry:

@inproceedings{nguyen2015cfv,
  author    = {Luan Viet Nguyen and Djordje Maksimovic and Taylor T. Johnson and Andreas Veneris},
  title     = {Quantified Bounded Model Checking for Rectangular Hybrid Automata},
  year      = {2015},
  month     = nov,
  Booktitle = {9th International Workshop on Constraints in Formal Verification (<a href="http://web.engr.oregonstate.edu{\~}alex/cfv15.html">CFV 2015</a>)},
  address   = {Austin, Texas},
  pdf       = {http://www.taylortjohnson.com/research/nguyen2015cfv.pdf},
}