Asger Horn Brorholt

According to our database, Asger Horn Brorholt authored at least 4 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems.

Asger Horn Brorholt, Andreas Holck Høeg-Petersen, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Christian Schilling, Andrzej Wasowski

CoRR, August, 2025

Compositional Shielding and Reinforcement Learning for Multi-Agent Systems.

Asger Horn Brorholt, Kim Guldstrand Larsen, Christian Schilling

Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025

2024

Efficient Shield Synthesis via State-Space Transformation.

Asger Horn Brorholt, Andreas Holck Høeg-Petersen, Kim Guldstrand Larsen, Christian Schilling

Proceedings of the Bridging the Gap Between AI and Reality, 2024

2023

Shielded Reinforcement Learning for Hybrid Systems.

Asger Horn Brorholt, Peter Gjøl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling

Proceedings of the Bridging the Gap Between AI and Reality, 2023