Martin Kristjansen

According to our database, Martin Kristjansen authored at least 4 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Learning Symbolic Timed Models from Concrete Timed Data.

Simon Dierl, Falk Maria Howar, Sean Kauffman, Martin Kristjansen, Kim Guldstrand Larsen, Florian Lorber, Malte Mauritz

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

Dual Balancing of SoC/SoT in Smart Batteries Using Reinforcement Learning in Uppaal Stratego.

Martin Kristjansen, Abhijit Kulkarni, Peter Gjøl Jensen, Remus Teodorescu, Kim Guldstrand Larsen

Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023

2022

Distributed Fleet Management in Noisy Environments via Model-Predictive Control.

Simon Bøgh, Peter Gjøl Jensen, Martin Kristjansen, Kim Guldstrand Larsen, Ulrik Nyman

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

2019

Schedulability Analysis of Distributed Multicore Avionics Systems with UPPAAL.

Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman, Martin Kristjansen

J. Aerosp. Inf. Syst., November, 2019