Research output per year
Research output per year
Search results
-
2025
CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles
Gu, R., Tan, K., Høeg-Petersen, A. H., Feng, L. & Larsen, K. G., 2025, Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 385-404 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 15221 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
2024
A Principled Framework for Evaluating on Typologically Diverse Languages
Ploeger, E., Poelman, W., Høeg-Petersen, A. H., Schlichtkrull, A., de Lhoneux, M. & Bjerva, J., Jul 2024, (Submitted).Research output: Working paper/Preprint › Preprint
-
Efficient Shield Synthesis via State-Space Transformation
Brorholt, A. H., Høeg-Petersen, A. H., Larsen, K. G. & Schilling, C., 2024, Bridging the Gap Between AI and Reality : Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings. Bernhard, S. (ed.). Springer, p. 206-224 19 p. (Lecture Notes in Computer Science, Vol. 15217).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
Minimizing Combined Sewer Overflows with Online Model-Predictive Reinforcement Learning
Kim, E. H., Nielsen, T. D., Larsen, K. G., Goorden, M., Ghaffari, M., Wasowski, A. & Høeg-Petersen, A. H., 5 Jul 2024, (Submitted) In: Journal - in the process . p. 1-18 18 p.Research output: Contribution to journal › Journal article › Research › peer-review