{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T05:50:36Z","timestamp":1762321836093,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T00:00:00Z","timestamp":1587513600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100010663","name":"H2020 European Research Council","doi-asserted-by":"publisher","award":["804639"],"award-info":[{"award-number":["804639"]}],"id":[{"id":"10.13039\/100010663","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,4,22]]},"DOI":"10.1145\/3365365.3382220","type":"proceedings-article","created":{"date-parts":[[2020,5,4]],"date-time":"2020-05-04T07:48:38Z","timestamp":1588578518000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["dtControl"],"prefix":"10.1145","author":[{"given":"Pranav","family":"Ashok","sequence":"first","affiliation":[{"name":"Technical University of Munich, Munich, Germany"}]},{"given":"Mathias","family":"Jackermeier","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Munich, Germany"}]},{"given":"Pushpak","family":"Jagtap","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Munich, Germany"}]},{"given":"Jan","family":"K\u0159et\u00ednsk\u00fd","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Munich, Germany"}]},{"given":"Maximilian","family":"Weininger","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Munich, Germany"}]},{"given":"Majid","family":"Zamani","sequence":"additional","affiliation":[{"name":"University of Colorado Boulder and Ludwig Maximilian University of Munich, Munich, Germany"}]}],"member":"320","published-online":{"date-parts":[[2020,4,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"P. Ashok T. Br\u00e1zdil K. Chatterjee J. K\u0159et\u00ednsk\u00fd C. H. Lampert and V. Toman. 2019. Strategy Representation by Decision Trees with Linear Classifiers. In QEST (1). Springer 109--128.  P. Ashok T. Br\u00e1zdil K. Chatterjee J. K\u0159et\u00ednsk\u00fd C. H. Lampert and V. Toman. 2019. Strategy Representation by Decision Trees with Linear Classifiers. In QEST (1). Springer 109--128.","DOI":"10.1007\/978-3-030-30281-8_7"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Pranav Ashok Mathias Jackermeier Pushpak Jagtap Jan K\u0159et\u00ednsk\u00fd Maximilian Weininger and Majid Zamani. 2020. dtControl: Decision Tree Learning Algorithms for Controller Representation. arXiv:cs.LG\/2002.04991  Pranav Ashok Mathias Jackermeier Pushpak Jagtap Jan K\u0159et\u00ednsk\u00fd Maximilian Weininger and Majid Zamani. 2020. dtControl: Decision Tree Learning Algorithms for Controller Representation. arXiv:cs.LG\/2002.04991","DOI":"10.1145\/3365365.3382220"},{"key":"e_1_3_2_1_3_1","volume-title":"SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes. In QEST (1)","author":"Ashok P.","year":"2019","unstructured":"P. Ashok , J. K\u0159et\u00ednsk\u00fd , K. G. Larsen , A. Le Co\u00ebnt , J. H. Taankvist , and M. Weininger . 2019 . SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes. In QEST (1) , D. Parker and V. Wolf (Eds.). Springer , 147--164. P. Ashok, J. K\u0159et\u00ednsk\u00fd, K. G. Larsen, A. Le Co\u00ebnt, J. H. Taankvist, and M. Weininger. 2019. SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes. In QEST (1), D. Parker and V. Wolf (Eds.). Springer, 147--164."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008699807402"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"C. Belta B. Yordanov and E. A. Gol. 2017. Formal methods for discrete-time dynamical systems. Vol. 89. Springer.  C. Belta B. Yordanov and E. A. Gol. 2017. Formal methods for discrete-time dynamical systems. Vol. 89. Springer.","DOI":"10.1007\/978-3-319-50763-7"},{"key":"e_1_3_2_1_6_1","volume-title":"Pattern recognition and machine learning","author":"Bishop C. M.","unstructured":"C. M. Bishop . 2007. Pattern recognition and machine learning , 5 th Edition. Springer . C. M. Bishop. 2007. Pattern recognition and machine learning, 5th Edition. Springer.","edition":"5"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"T. Br\u00e1zdil K. Chatterjee M. Chmelik A. Fellner and J. Kret\u00ednsk\u00fd. 2015. Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. In CAV (1) (Lecture Notes in Computer Science) Vol. 9206. Springer 158--177.  T. Br\u00e1zdil K. Chatterjee M. Chmelik A. Fellner and J. Kret\u00ednsk\u00fd. 2015. Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. In CAV (1) (Lecture Notes in Computer Science) Vol. 9206. Springer 158--177.","DOI":"10.1007\/978-3-319-21690-4_10"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"T. Br\u00e1zdil K. Chatterjee J. Kret\u00ednsk\u00fd and V. Toman. 2018. Strategy Representation by Decision Trees in Reactive Synthesis. In TACAS (1) (Lecture Notes in Computer Science) Vol. 10805. Springer 385--407.  T. Br\u00e1zdil K. Chatterjee J. Kret\u00ednsk\u00fd and V. Toman. 2018. Strategy Representation by Decision Trees in Reactive Synthesis. In TACAS (1) (Lecture Notes in Computer Science) Vol. 10805. Springer 385--407.","DOI":"10.1007\/978-3-319-89960-2_21"},{"key":"e_1_3_2_1_9_1","unstructured":"L. Breiman J. H. Friedman R. A. Olshen and C. J. Stone. 1984. Classification and Regression Trees. Wadsworth.  L. Breiman J. H. Friedman R. A. Olshen and C. J. Stone. 1984. Classification and Regression Trees. Wadsworth."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"e_1_3_2_1_11_1","volume-title":"Christou and Sofoklis Efremidis","author":"Ioannis","year":"2007","unstructured":"Ioannis T. Christou and Sofoklis Efremidis . 2007 . An Evolving Oblique Decision Tree Ensemble Architecture for Continuous Learning Applications. In AIAI (IFIP), Vol. 247 . Springer , 3--11. Ioannis T. Christou and Sofoklis Efremidis. 2007. An Evolving Oblique Decision Tree Ensemble Architecture for Continuous Learning Applications. In AIAI (IFIP), Vol. 247. Springer, 3--11."},{"key":"e_1_3_2_1_12_1","volume-title":"Uppaal Stratego. In TACAS (Lecture Notes in Computer Science)","volume":"9035","author":"David A.","unstructured":"A. David , P Gj\u00f8l Jensen , K. Guldstrand Larsen , M . Mikucionis, and J. H. Taankvist. 2015 . Uppaal Stratego. In TACAS (Lecture Notes in Computer Science) , Vol. 9035 . Springer, 206--211. A. David, P Gj\u00f8l Jensen, K. Guldstrand Larsen, M. Mikucionis, and J. H. Taankvist. 2015. Uppaal Stratego. In TACAS (Lecture Notes in Computer Science), Vol. 9035. Springer, 206--211."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2013.02.001"},{"key":"e_1_3_2_1_14_1","volume-title":"Software Fault Tolerance for Cyber-Physical Systems via Full System Restart. CoRR abs\/1812.03546","author":"Jagtap Pushpak","year":"2018","unstructured":"Pushpak Jagtap , Fardin Abdi , Matthias Rungger , Majid Zamani , and Marco Caccamo . 2018. Software Fault Tolerance for Cyber-Physical Systems via Full System Restart. CoRR abs\/1812.03546 ( 2018 ). Pushpak Jagtap, Fardin Abdi, Matthias Rungger, Majid Zamani, and Marco Caccamo. 2018. Software Fault Tolerance for Cyber-Physical Systems via Full System Restart. CoRR abs\/1812.03546 (2018)."},{"key":"e_1_3_2_1_15_1","volume-title":"QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers. In QEST (Lecture Notes in Computer Science)","author":"Jagtap Pushpak","year":"2017","unstructured":"Pushpak Jagtap and Majid Zamani . 2017 . QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers. In QEST (Lecture Notes in Computer Science) , Vol. 10503 . Springer , 309--313. Pushpak Jagtap and Majid Zamani. 2017. QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers. In QEST (Lecture Notes in Computer Science), Vol. 10503. Springer, 309--313."},{"key":"e_1_3_2_1_16_1","volume-title":"PESSOA: A Tool for Embedded Controller Synthesis. In CAV (Lecture Notes in Computer Science)","author":"Jr Manuel Mazo","year":"2010","unstructured":"Manuel Mazo Jr ., Anna Davitian , and Paulo Tabuada . 2010 . PESSOA: A Tool for Embedded Controller Synthesis. In CAV (Lecture Notes in Computer Science) , Vol. 6174 . Springer , 566--569. Manuel Mazo Jr., Anna Davitian, and Paulo Tabuada. 2010. PESSOA: A Tool for Embedded Controller Synthesis. In CAV (Lecture Notes in Computer Science), Vol. 6174. Springer, 566--569."},{"key":"e_1_3_2_1_17_1","volume-title":"Owen","author":"Julian Kyle D.","year":"2018","unstructured":"Kyle D. Julian , Mykel J. Kochenderfer , and Michael P . Owen . 2018 . Deep Neural Network Compression for Aircraft Collision Avoidance Systems. CoRR abs\/1810.04240 (2018). Kyle D. Julian, Mykel J. Kochenderfer, and Michael P. Owen. 2018. Deep Neural Network Compression for Aircraft Collision Avoidance Systems. CoRR abs\/1810.04240 (2018)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"Mahmoud Khaled and Majid Zamani. 2019. pFaces: an acceleration ecosystem for symbolic control. In HSCC. ACM 252--257.  Mahmoud Khaled and Majid Zamani. 2019. pFaces: an acceleration ecosystem for symbolic control. In HSCC. ACM 252--257.","DOI":"10.1145\/3302504.3311798"},{"volume-title":"ECML (Lecture Notes in Computer Science)","author":"Landwehr Niels","key":"e_1_3_2_1_19_1","unstructured":"Niels Landwehr , Mark A. Hall , and Eibe Frank . 2003. Logistic Model Trees . In ECML (Lecture Notes in Computer Science) , Vol. 2837 . Springer , 241--252. Niels Landwehr, Mark A. Hall, and Eibe Frank. 2003. Logistic Model Trees. In ECML (Lecture Notes in Computer Science), Vol. 2837. Springer, 241--252."},{"key":"e_1_3_2_1_20_1","volume-title":"Marius Mikucionis, and Jakob Haahr Taankvist.","author":"Larsen Kim Guldstrand","year":"2018","unstructured":"Kim Guldstrand Larsen , Adrien Le Co\u00ebnt , Marius Mikucionis, and Jakob Haahr Taankvist. 2018 . Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga. In CyPhy\/WESE (Lecture Notes in Computer Science), Vol. 11615 . Springer , 113--133. Kim Guldstrand Larsen, Adrien Le Co\u00ebnt, Marius Mikucionis, and Jakob Haahr Taankvist. 2018. Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga. In CyPhy\/WESE (Lecture Notes in Computer Science), Vol. 11615. Springer, 113--133."},{"volume-title":"Correct System Design (Lecture Notes in Computer Science)","author":"Larsen Kim Guldstrand","key":"e_1_3_2_1_21_1","unstructured":"Kim Guldstrand Larsen , Marius Mikucionis , and Jakob Haahr Taankvist . 2015. Safe and Optimal Adaptive Cruise Control . In Correct System Design (Lecture Notes in Computer Science) , Vol. 9360 . Springer , 260--277. Kim Guldstrand Larsen, Marius Mikucionis, and Jakob Haahr Taankvist. 2015. Safe and Optimal Adaptive Cruise Control. In Correct System Design (Lecture Notes in Computer Science), Vol. 9360. Springer, 260--277."},{"key":"e_1_3_2_1_22_1","volume-title":"Quantitative Implementation Strategies for Safety Controllers. CoRR abs\/1712.05278","author":"Meyer Philipp J.","year":"2017","unstructured":"Philipp J. Meyer , Matthias Rungger , Michael Luttenberger , Javier Esparza , and Majid Zamani . 2017. Quantitative Implementation Strategies for Safety Controllers. CoRR abs\/1712.05278 ( 2017 ). Philipp J. Meyer, Matthias Rungger, Michael Luttenberger, Javier Esparza, and Majid Zamani. 2017. Quantitative Implementation Strategies for Safety Controllers. CoRR abs\/1712.05278 (2017)."},{"volume-title":"Machine learning","author":"Mitchell T. M.","key":"e_1_3_2_1_23_1","unstructured":"T. M. Mitchell . 1997. Machine learning . McGraw-Hill . T. M. Mitchell. 1997. Machine learning. McGraw-Hill."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Sebti Mouelhi Antoine Girard and Gregor G\u00f6\u00dfler. 2013. CoSyMA: a tool for controller synthesis using multi-scale abstractions. In HSCC. ACM 83--88.  Sebti Mouelhi Antoine Girard and Gregor G\u00f6\u00dfler. 2013. CoSyMA: a tool for controller synthesis using multi-scale abstractions. In HSCC. ACM 83--88.","DOI":"10.1145\/2461328.2461343"},{"key":"e_1_3_2_1_25_1","unstructured":"S. K. Murthy S. Kasif S. Salzberg and R. Beigel. 1993. OC1: A Randomized Induction of Oblique Decision Trees. In AAAI. AAAI Press \/ The MIT Press 322--327.  S. K. Murthy S. Kasif S. Salzberg and R. Beigel. 1993. OC1: A Randomized Induction of Oblique Decision Trees. In AAAI. AAAI Press \/ The MIT Press 322--327."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.887294"},{"key":"e_1_3_2_1_27_1","volume-title":"TACAS (Lecture Notes in Computer Science)","volume":"9636","author":"Neider Daniel","unstructured":"Daniel Neider , Shambwaditya Saha , and P. Madhusudan . 2016. Synthesizing PieceWise Functions by Learning Classifiers . In TACAS (Lecture Notes in Computer Science) , Vol. 9636 . Springer, 186--203. Daniel Neider, Shambwaditya Saha, and P. Madhusudan. 2016. Synthesizing PieceWise Functions by Learning Classifiers. In TACAS (Lecture Notes in Computer Science), Vol. 9636. Springer, 186--203."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/1953048.2078195"},{"key":"e_1_3_2_1_29_1","volume-title":"Howe","author":"Pyeatt Larry D.","year":"1998","unstructured":"Larry D. Pyeatt and Adele E . Howe . 1998 . Decision Tree Function Approximation in Reinforcement Learning. Technical Report. Computer Science Department, Colorado State University . Larry D. Pyeatt and Adele E. Howe. 1998. Decision Tree Function Approximation in Reinforcement Learning. Technical Report. Computer Science Department, Colorado State University."},{"key":"e_1_3_2_1_30_1","unstructured":"J. R. Quinlan. 1993. C4.5: Programs for Machine Learning. Morgan Kaufmann.  J. R. Quinlan. 1993. C4.5: Programs for Machine Learning. Morgan Kaufmann."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2593947"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883834"},{"volume-title":"State space grids for low complexity abstractions","author":"Rungger Matthias","key":"e_1_3_2_1_33_1","unstructured":"Matthias Rungger , Alexander Weber , and Gunther Reissig . 2015. State space grids for low complexity abstractions . In CDC. IEEE , 6139--6146. Matthias Rungger, Alexander Weber, and Gunther Reissig. 2015. State space grids for low complexity abstractions. In CDC. IEEE, 6139--6146."},{"key":"e_1_3_2_1_34_1","volume-title":"Invariance Feedback Entropy of Uncertain Control Systems. CoRR abs\/1706.05242","author":"Rungger Matthias","year":"2017","unstructured":"Matthias Rungger and Majid Zamani . 2017. Invariance Feedback Entropy of Uncertain Control Systems. CoRR abs\/1706.05242 ( 2017 ). Matthias Rungger and Majid Zamani. 2017. Invariance Feedback Entropy of Uncertain Control Systems. CoRR abs\/1706.05242 (2017)."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2019.2920766"},{"volume-title":"Verification and control of hybrid systems: a symbolic approach","author":"Tabuada P.","key":"e_1_3_2_1_36_1","unstructured":"P. Tabuada . 2009. Verification and control of hybrid systems: a symbolic approach . Springer Science & Business Media . P. Tabuada. 2009. Verification and control of hybrid systems: a symbolic approach. Springer Science & Business Media."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/896760"},{"volume-title":"ADHS (IFAC-PapersOnLine)","author":"Zapreev Ivan S.","key":"e_1_3_2_1_38_1","unstructured":"Ivan S. Zapreev , Cees Verdier , and Manuel Mazo Jr. 2018. Optimal Symbolic Controllers Determinization for BDD storage . In ADHS (IFAC-PapersOnLine) , Vol. 51 . Elsevier , 1--6. Ivan S. Zapreev, Cees Verdier, and Manuel Mazo Jr. 2018. Optimal Symbolic Controllers Determinization for BDD storage. In ADHS (IFAC-PapersOnLine), Vol. 51. Elsevier, 1--6."},{"key":"e_1_3_2_1_39_1","volume-title":"The Optimality of Naive Bayes. In FLAIRS Conference. AAAI Press, 562--567","author":"Zhang Harry","year":"2004","unstructured":"Harry Zhang . 2004 . The Optimality of Naive Bayes. In FLAIRS Conference. AAAI Press, 562--567 . Harry Zhang. 2004. The Optimality of Naive Bayes. In FLAIRS Conference. AAAI Press, 562--567."}],"event":{"name":"HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Sydney New South Wales Australia","acronym":"HSCC '20"},"container-title":["Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3365365.3382220","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3365365.3382220","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:49:49Z","timestamp":1750268989000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3365365.3382220"}},"subtitle":["decision tree learning algorithms for controller representation"],"short-title":[],"issued":{"date-parts":[[2020,4,22]]},"references-count":39,"alternative-id":["10.1145\/3365365.3382220","10.1145\/3365365"],"URL":"https:\/\/doi.org\/10.1145\/3365365.3382220","relation":{},"subject":[],"published":{"date-parts":[[2020,4,22]]},"assertion":[{"value":"2020-04-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}