Symbolic Reachability Analysis of Lazy Linear Hybrid Automata

Susmit Jha, Bryan A. Brady, and Sanjit A. Seshia. Symbolic Reachability Analysis of Lazy Linear Hybrid Automata. In Proc. 5th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), pp. 241–256, Lecture Notes in Computer Science 4763, October 2007.

Download

[pdf] 

Abstract

(unavailable)

BibTeX

@inproceedings{jha-formats07,
  author    = {Susmit Jha and
               Bryan A. Brady and
               Sanjit A. Seshia},
  title     = {Symbolic Reachability Analysis of Lazy Linear Hybrid Automata},
  booktitle = {Proc. 5th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS)},
  series    = {Lecture Notes in Computer Science},
  volume    = {4763},
  year      = {2007},
  month = {October},
  pages     = {241-256},
}