Jakob Haahr Taankvist

According to our database, Jakob Haahr Taankvist authored at least 11 papers between 2012 and 2021.

Collaborative distances:

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

2021

Improvements in Unfolding of Colored Petri Nets.

Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Jakob Haahr Taankvist

Proceedings of the Reachability Problems - 15th International Conference, 2021

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

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

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

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga.

Kim Guldstrand Larsen, Adrien Le Coënt, Marius Mikucionis, Jakob Haahr Taankvist

Proceedings of the Cyber Physical Systems. Model-Based Design - 8th International Workshop, 2018

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

Proceedings of the IEEE Conference on Control Technology and Applications, 2018

2016

Online and Compositional Learning of Controllers with Application to Floor Heating.

Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Jirí Srba, Jakob Haahr Taankvist

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015

Uppaal Stratego.

Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Safe and Optimal Adaptive Cruise Control.

Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist

Proceedings of the Correct System Design, 2015

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

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

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

Proceedings of the Automated Technology for Verification and Analysis, 2014

2012

Verification of Liveness Properties on Closed Timed-Arc Petri Nets.

Mathias Andersen, Heine Gatten Larsen, Jirí Srba, Mathias Grund Sørensen, Jakob Haahr Taankvist

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2012