Follow
Martin Kristjansen
Martin Kristjansen
PhD-student, Aalborg University
Verified email at cs.aau.dk
Title
Cited by
Cited by
Year
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
The system can't perform the operation now. Try again later.
Articles 1–4