Computing bounded reach sets from sampled simulation traces

Zhenqi Huang, Sayan Mitra. Computing bounded reach sets from sampled simulation traces. In Thao Dang, Ian M. Mitchell, editors, Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012. pages 291-294, ACM, 2012. [doi]

@inproceedings{HuangM12-8,
  title = {Computing bounded reach sets from sampled simulation traces},
  author = {Zhenqi Huang and Sayan Mitra},
  year = {2012},
  doi = {10.1145/2185632.2185676},
  url = {http://doi.acm.org/10.1145/2185632.2185676},
  researchr = {https://researchr.org/publication/HuangM12-8},
  cites = {0},
  citedby = {0},
  pages = {291-294},
  booktitle = {Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012},
  editor = {Thao Dang and Ian M. Mitchell},
  publisher = {ACM},
  isbn = {978-1-4503-1220-2},
}