Publikationer pr. år
Publikationer pr. år
Fingerprint
Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
- 1 Lignende profiler
Samarbejde i de sidste fem år
Klik på punkterne for at se detaljerne.
Publikationer
- 1 Konferenceartikel i proceeding
-
Exploring Unknown Environments with Uppaal Stratego: Safe Reinforcement Learning for Navigation and Pump Localization
Axelsen, M. K., Kristjansen, M., Larsen, K. G. & Lauritsen, T. G. S., 10 nov. 2025, Software Engineering and Formal Methods: 23rd International Conference, SEFM 2025, Toledo, Spain, November 10–14, 2025, Proceedings. Bianculli, D. & Gomez-Martinez, E. (red.). Springer Nature Switzerland: Springer, s. 241-260 20 s. (Lecture Notes in Computer Science (LNCS), Bind 16192).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review