%0 Conference Paper %1 conf/iros/LiuA18 %A Liu, Stefan B. %A Althoff, Matthias %B IROS %D 2018 %I IEEE %K dblp %P 370-376 %T Reachset Conformance of Forward Dynamic Models for the Formal Analysis of Robots. %U http://dblp.uni-trier.de/db/conf/iros/iros2018.html#LiuA18 %@ 978-1-5386-8094-0

@inproceedings{conf/iros/LiuA18, added-at = {2019-01-10T00:00:00.000+0100}, author = {Liu, Stefan B. and Althoff, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/2d9a7f70ca385a69b28ef79b247f8f0d2/dblp}, booktitle = {IROS}, crossref = {conf/iros/2018}, ee = {https://doi.org/10.1109/IROS.2018.8593975}, interhash = {bbf830bb9c91011b753bd12b9bdd9906}, intrahash = {d9a7f70ca385a69b28ef79b247f8f0d2}, isbn = {978-1-5386-8094-0}, keywords = {dblp}, pages = {370-376}, publisher = {IEEE}, timestamp = {2019-10-17T14:16:32.000+0200}, title = {Reachset Conformance of Forward Dynamic Models for the Formal Analysis of Robots.}, url = {http://dblp.uni-trier.de/db/conf/iros/iros2018.html#LiuA18}, year = 2018 }