Følg
Martin Kristjansen
Martin Kristjansen
PhD-student, Aalborg University
Verificeret mail på cs.aau.dk
Titel
Citeret af
Citeret af
År
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
52022
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
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–4