Algorithmic analysis of polygonal hybrid systems, part I: Reachability. Asarin, E., Schneider, G., & Yovine, S. Theor. Comput. Sci., 379(1-2):231-265, 2007.
Algorithmic analysis of polygonal hybrid systems, part I: Reachability. [link]Link  Algorithmic analysis of polygonal hybrid systems, part I: Reachability. [link]Paper  bibtex   
@article{journals/tcs/AsarinSY07,
  added-at = {2020-10-26T00:00:00.000+0100},
  author = {Asarin, Eugene and Schneider, Gerardo and Yovine, Sergio},
  biburl = {https://www.bibsonomy.org/bibtex/2867188c3fc1939cff56da814bff65162/dblp},
  ee = {https://doi.org/10.1016/j.tcs.2007.03.055},
  interhash = {6ed6c144dc9b85e9b56f50b9ecdb91e6},
  intrahash = {867188c3fc1939cff56da814bff65162},
  journal = {Theor. Comput. Sci.},
  keywords = {dblp},
  number = {1-2},
  pages = {231-265},
  timestamp = {2020-10-27T12:17:17.000+0100},
  title = {Algorithmic analysis of polygonal hybrid systems, part I: Reachability.},
  url = {http://dblp.uni-trier.de/db/journals/tcs/tcs379.html#AsarinSY07},
  volume = 379,
  year = 2007
}

Downloads: 0