Larsen, Kim Guldstrand

1. It's Time to Play Safe: Shield Synthesis for Timed Systems
   2020/06/30 by Bloem, Roderick, Jensen, Peter Gjøl, Könighofer, Bettina +3 · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
2. 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)
3. Compositional Shielding and Reinforcement Learning for Multi-Agent Systems
   2024/10/14 by Asger Horn Brorholt, Kim G. Larsen, Brorholt, Asger Horn +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)