Jakob Haahr Taankvist

12 papers A 2B 2Journal 1Unranked 7
YearRankTypeTitle / Venue / Authors
2021 — conf
Improvements in Unfolding of Colored Petri Nets.
RP
Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Jakob Haahr Taankvist
2019 — conf
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes.
QEST
Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger
2019 J jnl
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes.
CoRR
Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger
2019 B conf
Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs.
ATVA
Manfred Jaeger, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Sean Sedwards, Jakob Haahr Taankvist
2018 — conf
Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga.
CyPhy/WESE
Kim Guldstrand Larsen, Adrien Le Coënt, Marius Mikucionis, Jakob Haahr Taankvist
2018 — conf
Time Optimal Robust Fleet Management of Micro UAV Through Timed Games Formulation.
CCTA
Henrik Schiøler, Luminita Totu, Jan Dimon Bendtsen, Kim Guldstrand Larsen, Jakob Haahr Taankvist
2016 A conf
Online and Compositional Learning of Controllers with Application to Floor Heating.
TACAS
Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Jirí Srba, Jakob Haahr Taankvist
2015 — conf
Safe and Optimal Adaptive Cruise Control.
Correct System Design
Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist
2015 A conf
Uppaal Stratego.
TACAS
Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist
2014 — conf
Memory Efficient Data Structures for Explicit Verification of Timed Systems.
NASA Formal Methods
Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba, Mathias Grund Sørensen, Jakob Haahr Taankvist
2014 B conf
On Time with Minimal Expected Cost!
ATVA
Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Didier Lime, Mathias Grund Sørensen, Jakob Haahr Taankvist
2012 — conf
Verification of Liveness Properties on Closed Timed-Arc Petri Nets.
MEMICS
Mathias Andersen, Heine Gatten Larsen, Jirí Srba, Mathias Grund Sørensen, Jakob Haahr Taankvist