Jakob Haahr Taankvist
Jakob Haahr Taankvist
PhD student, Aalborg University, Department of Computer Science
Verified email at cs.aau.dk
Title
Cited by
Cited by
Year
Uppaal stratego
A David, PG Jensen, KG Larsen, M Mikučionis, JH Taankvist
International Conference on Tools and Algorithms for the Construction and …, 2015
1122015
On time with minimal expected cost!
A David, PG Jensen, KG Larsen, A Legay, D Lime, MG Sørensen, ...
International Symposium on Automated Technology for Verification and …, 2014
482014
Online and Compositional Learning of Controllers with Application to Floor Heating
KG Larsen, M Mikučionis, M Muñiz, J Srba, JH Taankvist
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
402016
Safe and optimal adaptive cruise control
KG Larsen, M Mikučionis, JH Taankvist
Correct System Design, 260-277, 2015
382015
Verification of liveness properties on closed timed-arc Petri nets
M Andersen, HG Larsen, J Srba, MG Sørensen, JH Taankvist
International Doctoral Workshop on Mathematical and Engineering Methods in …, 2012
202012
Uppaal stratego for intelligent traffic lights
AB Eriksen, C Huang, J Kildebogaard, H Lahrmann, KG Larsen, M Muniz, ...
12th ITS European Congress, 2017
172017
SOS: Safe, optimal and small strategies for hybrid markov decision processes
P Ashok, J Křetínský, KG Larsen, A Le Coënt, JH Taankvist, M Weininger
International Conference on Quantitative Evaluation of Systems, 147-164, 2019
102019
Memory efficient data structures for explicit verification of timed systems
PG Jensen, KG Larsen, J Srba, MG Sørensen, JH Taankvist
NASA Formal Methods Symposium, 307-312, 2014
92014
Teaching stratego to play ball: Optimal synthesis for continuous space MDPs
M Jaeger, PG Jensen, KG Larsen, A Legay, S Sedwards, JH Taankvist
International Symposium on Automated Technology for Verification and …, 2019
72019
Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga
KG Larsen, A Le Coënt, M Mikučionis, JH Taankvist
Cyber Physical Systems. Model-Based Design, 113-133, 2018
52018
Learning optimal scheduling for time uncertain settings
PG Jensen, JH Taankvist
Student project, Aalborg University, 2014
42014
Optimering af signalstyring i realtid: Intelligent styring af signalregulerede kryds ved anvendelse af maskinlæring og objektdetektering
MF Hansen, AB Eriksen, JH Taankvist, KG Larsen, H Lahrmann
Danish Journal of Transportation Research-Dansk tidskrift for …, 2017
12017
Controlling Signalized Intersections using Machine Learning
AB Eriksen, H Lahrmann, KG Larsen, JH Taankvist
Transportation Research Procedia 48, 987-997, 2020
2020
Adaptiv signalstyring i realtid
M Færgemand, AB Eriksen, JH Taankvist, KG Larsen, H Lahrmann
Selected Proceedings from the Annual Transport Conference at Aalborg University, 2019
2019
Time Optimal Robust Fleet Management of Micro UAV Through Timed Games Formulation
H Schiøler, L Totu, J Dimon, KG Larsen, JH Taankvist
2018 IEEE Conference on Control Technology and Applications (CCTA), 146-152, 2018
2018
Using machine learning and object detection for signal-controlled intersections
HS Lahrmann, AB Eriksen, JH Taankvist, MF Hansen, KG Larsen
25th ITS World Congress-Quality of Life, EU-TP1618, 2018
2018
Ad Hoc Cloud System
MG Sørensen, JH Taankvist, HG en Larsen, M Andersen, Š Miklošovič, ...
2011
Discrete Verification of Weighted Timed-Arc Petri Nets
JH Taankvist, MG Sørensen, HG Larsen, M Andersen
The system can't perform the operation now. Try again later.
Articles 1–18