معرفی
Andreas Holck Høeg-Petersen is a PhD fellow at the Department of Computer Science, Aalborg University, specializing in Reinforcement Learning (RL), Explainable AI (XAI), and Cyber-Physical Systems. His research focuses on integrating formal verification techniques with RL to enhance transparency and safety in autonomous systems.
- Fields of Interest: Reinforcement Learning, Explainable AI, Formal Verification, Autonomous Driving, Cyber-Physical Systems, Machine Learning.
- Email: ahhp@cs.aau.dk
Research Trends: Andreas works on bridging formal methods with AI, particularly in applications like autonomous vehicles and environmental systems (e.g., reducing combined sewer overflows). His work emphasizes causality enforcement and model-predictive control in RL frameworks.
Collaborations: He collaborates with researchers across Denmark and internationally, including supervisors Kim G. Larsen, Amir Ploeger, and Andrzej Wasowski, contributing to interdisciplinary projects in AI, formal verification, and environmental engineering.
