Publikationer per år
Publikationer per år
Personlig profil
Emneord
- Datalogi
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Astrid Horn Brorholt er aktiv.
- 1 Lignende profiler
-
Compositional Shielding and Reinforcement Learning for Multi-Agent Systems
Brorholt, A. H., Larsen, K. G. & Schilling, C., 2025. 6 s.Publikation: Konferencebidrag uden forlag/tidsskrift › Konferenceabstrakt til konference › Forskning › peer review
-
Compositional Shielding and Reinforcement Learning for Multi-Agent Systems
Brorholt, A. H., Larsen, K. G. & Schilling, C., 14 jun. 2025, arXiv, 10 s.Publikation: Working paper/Preprint › Preprint
Åben adgang -
Compositional Shielding and Reinforcement Learning for Multi-Agent Systems
Brorholt, A. H., Larsen, K. G. & Schilling, C., 5 jun. 2025, Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025. Vorobeychik, Y. (red.). 24 udg. Richland, SC, USA: Association for Computing Machinery (ACM), s. 399-407 9 s. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil3 Link åbnes på en ny fane Citationer (Scopus)15 Downloads (Pure) -
Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems
Brorholt, A. H., Høeg-Petersen, A. H., Jensen, P. G., Larsen, K. G., Mikučionis, M., Schilling, C. & Wąsowski, A., 5 nov. 2025, Reachability Problems: 19th International Conference, RP 2025, Madrid, Spain, October 1–3, 2025, Proceedings. Ganty, P. & Mansutti, A. (red.). Springer, s. 97-111 15 s. (Lecture Notes in Computer Science (LNCS), Bind 16230).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
1 Link åbnes på en ny fane Citationer (Scopus) -
Efficient Shield Synthesis via State-Space Transformation
Brorholt, A. H., Høeg-Petersen, A. H., Larsen, K. G. & Schilling, C., 2024, Bridging the Gap Between AI and Reality : Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings. Bernhard, S. (red.). Springer, s. 206-224 19 s. (Lecture Notes in Computer Science, Bind 15217).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil3 Link åbnes på en ny fane Citationer (Scopus)38 Downloads (Pure)