%0 Conference Paper %1 conf/hybrid/KochdumperGSGKA21 %A Kochdumper, Niklas %A Gruber, Felix %A Schürmann, Bastian %A Gaßmann, Victor %A Klischat, Moritz %A Althoff, Matthias %B HSCC %D 2021 %E Bogomolov, Sergiy %E Jungers, Raphaël M. %I ACM %K dblp %P 23:1-23:6 %T AROC: a toolbox for automated reachset optimal controller synthesis. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2021.html#KochdumperGSGKA21 %@ 978-1-4503-8339-4

@inproceedings{conf/hybrid/KochdumperGSGKA21, added-at = {2023-03-21T00:00:00.000+0100}, author = {Kochdumper, Niklas and Gruber, Felix and Schürmann, Bastian and Gaßmann, Victor and Klischat, Moritz and Althoff, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/2e38a7dfe97fa6a2b992ff892e186c92d/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2021}, editor = {Bogomolov, Sergiy and Jungers, Raphaël M.}, ee = {https://doi.org/10.1145/3447928.3456703}, interhash = {603f174d8665cd67ba5c88fe12611b8c}, intrahash = {e38a7dfe97fa6a2b992ff892e186c92d}, isbn = {978-1-4503-8339-4}, keywords = {dblp}, pages = {23:1-23:6}, publisher = {ACM}, timestamp = {2024-04-09T13:54:58.000+0200}, title = {AROC: a toolbox for automated reachset optimal controller synthesis.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2021.html#KochdumperGSGKA21}, year = 2021 }