Martin Kristjansen

According to our database, Martin Kristjansen authored at least 7 papers between 2019 and 2026.

Collaborative distances:

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

2026

Safe and Near-Optimal Gate Control: A Case Study from the Danish West Coast.

Martin Kristjansen, Kim Guldstrand Larsen, Marius Mikucionis, Christian Schilling

CoRR, April, 2026

2025

Exploring Unknown Environments with Uppaal Stratego: Safe Reinforcement Learning for Navigation and Pump Localization.

Magnus Kallestrup Axelsen, Martin Kristjansen, Kim Guldstrand Larsen, Thomas Grubbe Sandborg Lauritsen

Proceedings of the Software Engineering and Formal Methods - 23rd International Conference, 2025

Performance Analysis of Stochastic Digraph Real-Time Task Model.

Martin Kristjansen, Kim Guldstrand Larsen

Proceedings of the Real Time and Such, 2025

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