Brorholt, Asger Horn

1. Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems
   2025/08/22 by Brorholt, Asger Horn, Høeg-Petersen, Andreas Holck, Jensen, Peter Gjøl +4 · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
2. Compositional Shielding and Reinforcement Learning for Multi-Agent Systems
   2024/10/14 by Asger Horn Brorholt, Brorholt, Asger Horn, Kim G. Larsen +3 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #Distributed Control Multi-Agent Systems #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)