Seuraa
Martin Kristjansen
Martin Kristjansen
PhD-student, Aalborg University
Vahvistettu sähköpostiosoite verkkotunnuksessa cs.aau.dk
Nimike
Viittaukset
Viittaukset
Vuosi
Schedulability analysis of distributed multicore avionics systems with uppaal
P Han, Z Zhai, B Nielsen, U Nyman, M Kristjansen
Journal of Aerospace Information Systems 16 (11), 473-499, 2019
102019
Distributed fleet management in noisy environments via model-predictive control
S Bøgh, PG Jensen, M Kristjansen, KG Larsen, U Nyman
Proceedings of the International Conference on Automated Planning and …, 2022
62022
Learning symbolic timed models from concrete timed data
S Dierl, FM Howar, S Kauffman, M Kristjansen, K Guldstrand Larsen, ...
NASA Formal Methods Symposium, 104-121, 2023
22023
Dual Balancing of SoC/SoT in Smart Batteries Using Reinforcement Learning in Uppaal Stratego
M Kristjansen, A Kulkarni, PG Jensen, R Teodorescu, KG Larsen
IECON 2023-49th Annual Conference of the IEEE Industrial Electronics Society …, 2023
12023
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–4