%0 Conference Paper %1 conf/formats/KimBD21 %A Kim, Edward %A Bak, Stanley %A Duggirala, Parasara Sridhar %B FORMATS %D 2021 %E Dima, Catalin %E Shirmohammadi, Mahsa %I Springer %K dblp %P 50-66 %T Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems. %U http://dblp.uni-trier.de/db/conf/formats/formats2021.html#KimBD21 %V 12860 %@ 978-3-030-85037-1

@inproceedings{conf/formats/KimBD21, added-at = {2021-08-17T00:00:00.000+0200}, author = {Kim, Edward and Bak, Stanley and Duggirala, Parasara Sridhar}, biburl = {https://www.bibsonomy.org/bibtex/2de5c18a753f93e5e88e205b9ae785d1f/dblp}, booktitle = {FORMATS}, crossref = {conf/formats/2021}, editor = {Dima, Catalin and Shirmohammadi, Mahsa}, ee = {https://doi.org/10.1007/978-3-030-85037-1_4}, interhash = {8a6c77aaddd8d2f06541e171373beee8}, intrahash = {de5c18a753f93e5e88e205b9ae785d1f}, isbn = {978-3-030-85037-1}, keywords = {dblp}, pages = {50-66}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:40:09.000+0200}, title = {Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems.}, url = {http://dblp.uni-trier.de/db/conf/formats/formats2021.html#KimBD21}, volume = 12860, year = 2021 }