Verification of Liveness Properties on Closed Timed-Arc Petri Nets. - Mathias Andersen; Heine Gatten Larsen; Jirí Srba; Mathias Grund Sørensen; Jakob Haahr Taankvist (MEMICS, 2012)

On Time with Minimal Expected Cost! - Alexandre David; Peter Gjøl Jensen; Kim Guldstrand Larsen; Axel Legay; Didier Lime; Mathias Grund Sørensen; Jakob Haahr Taankvist (ATVA, 2014)

Memory Efficient Data Structures for Explicit Verification of Timed Systems. - Peter Gjøl Jensen; Kim Guldstrand Larsen; Jirí Srba; Mathias Grund Sørensen; Jakob Haahr Taankvist (NASA Formal Methods, 2014)

Safe and Optimal Adaptive Cruise Control. - Kim Guldstrand Larsen; Marius Mikucionis; Jakob Haahr Taankvist (Correct System Design, 2015)

Uppaal Stratego. - Alexandre David; Peter Gjøl Jensen; Kim Guldstrand Larsen; Marius Mikucionis; Jakob Haahr Taankvist (TACAS, 2015)

Online and Compositional Learning of Controllers with Application to Floor Heating. - Kim G. Larsen; Marius Mikucionis; Marco Muñiz; Jirí Srba; Jakob Haahr Taankvist (TACAS, 2016)

Time Optimal Robust Fleet Management of Micro UAV Through Timed Games Formulation. - Henrik Schiøler; Luminita Totu; Jan Dimon Bendtsen; Kim Guldstrand Larsen; Jakob Haahr Taankvist (CCTA, 2018)

Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga. - Kim Guldstrand Larsen; Adrien Le Coënt; Marius Mikucionis; Jakob Haahr Taankvist (CyPhy/WESE, 2018)

Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs. - Manfred Jaeger; Peter Gjøl Jensen; Kim Guldstrand Larsen; Axel Legay; Sean Sedwards; Jakob Haahr Taankvist (ATVA, 2019)

SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes. - Pranav Ashok; Jan Kretínský; Kim Guldstrand Larsen; Adrien Le Coënt; Jakob Haahr Taankvist; Maximilian Weininger (QEST, 2019)

Improvements in Unfolding of Colored Petri Nets. - Alexander Bilgram; Peter Gjøl Jensen; Thomas Pedersen; Jirí Srba; Jakob Haahr Taankvist (RP, 2021)