JuliaReach: a toolbox for set-based reachability. Bogomolov, S., Forets, M., Frehse, G., Potomkin, K., & Schilling, C. In Ozay, N. & Prabhakar, P., editors, HSCC, pages 39-44, 2019. ACM.
JuliaReach: a toolbox for set-based reachability. [link]Link  JuliaReach: a toolbox for set-based reachability. [link]Paper  bibtex   
@inproceedings{conf/hybrid/BogomolovFFPS19,
  added-at = {2020-01-04T00:00:00.000+0100},
  author = {Bogomolov, Sergiy and Forets, Marcelo and Frehse, Goran and Potomkin, Kostiantyn and Schilling, Christian},
  biburl = {https://www.bibsonomy.org/bibtex/236c1ebaee3fcae364944e82a8038aef2/dblp},
  booktitle = {HSCC},
  crossref = {conf/hybrid/2019},
  editor = {Ozay, Necmiye and Prabhakar, Pavithra},
  ee = {https://doi.org/10.1145/3302504.3311804},
  interhash = {f2aa74550f3b5b1d130c919376cecea5},
  intrahash = {36c1ebaee3fcae364944e82a8038aef2},
  isbn = {978-1-4503-6282-5},
  keywords = {dblp},
  pages = {39-44},
  publisher = {ACM},
  timestamp = {2020-01-07T11:43:36.000+0100},
  title = {JuliaReach: a toolbox for set-based reachability.},
  url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2019.html#BogomolovFFPS19},
  year = 2019
}

Downloads: 0