Andreas Holck Høeg-Petersenمشاهده پروفایل
پژوهشگر ارشد
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.







