-
1Report
مصطلحات موضوعية: Computer Science - Multiagent Systems, Computer Science - Robotics
URL الوصول: http://arxiv.org/abs/2408.01093
-
2Report
المؤلفون: Brorholt, Asger Horn, Høeg-Petersen, Andreas Holck, Larsen, Kim Guldstrand, Schilling, Christian
المصدر: AISoLA 2024
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Electrical Engineering and Systems Science - Systems and Control
URL الوصول: http://arxiv.org/abs/2407.19911
-
3Report
المؤلفون: Ploeger, Esther, Poelman, Wessel, Høeg-Petersen, Andreas Holck, Schlichtkrull, Anders, de Lhoneux, Miryam, Bjerva, Johannes
مصطلحات موضوعية: Computer Science - Computation and Language
URL الوصول: http://arxiv.org/abs/2407.05022
-
4
المصدر: Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings. :385-404
مصطلحات موضوعية: Autonomous vehicles, CommonRoad, Motion planning, Reinforcement learning, UPPAAL
وصف الملف: print
-
5Academic Journal
المؤلفون: Kim, Esther Hahyeon, Nielsen, Thomas Dyhre, Larsen, Kim Guldstrand, Goorden, Martijn, Ghaffari, Mohsen, Wasowski, Andrzej, Høeg-Petersen, Andreas Holck
المصدر: Kim , E H , Nielsen , T D , Larsen , K G , Goorden , M , Ghaffari , M , Wasowski , A & Høeg-Petersen , A H 2024 , ' Minimizing Combined Sewer Overflows with Online Model-Predictive Reinforcement Learning ' , Journal - in the process , pp. 1-18 .
مصطلحات موضوعية: Stormwater management, Combined sewer overflows, Model predictive control, Control synthesis, Reinforcement learning, /dk/atira/pure/sustainabledevelopmentgoals/clean_water_and_sanitation, name=SDG 6 - Clean Water and Sanitation, /dk/atira/pure/sustainabledevelopmentgoals/industry_innovation_and_infrastructure, name=SDG 9 - Industry, Innovation, and Infrastructure, /dk/atira/pure/sustainabledevelopmentgoals/climate_action, name=SDG 13 - Climate Action