Projects per year
Personal profile
Keywords
- Computer Science
Fingerprint
The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.
- 1 Similar Profiles
Collaborations from the last five years
Dive into details by clicking on the dots.
Projects
- 1 Active
-
Explainable and Causally Enforced Reinforcement Learning
Høeg-Petersen, A. H. (PI), Larsen, K. G. (Supervisor), Wasowski, A. (Supervisor) & Jensen, P. G. (Supervisor)
01/09/2022 → …
Project: PhD Project
-
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
-
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
4 Downloads (Pure) -
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