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
942015
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
442014
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
332016
Safe and optimal adaptive cruise control
KG Larsen, M Mikučionis, JH Taankvist
Correct System Design, 260-277, 2015
302015
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
182012
Uppaal stratego for intelligent traffic lights
AB Eriksen, C Huang, J Kildebogaard, H Lahrmann, KG Larsen, M Muniz, ...
12th ITS European Congress, 2017
112017
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
62019
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
Aalborg University, Student project, 2014
42014
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
32019
Controlling Signalized Intersections using Machine Learning
AB Eriksen, H Lahrmann, KG Larsen, JH Taankvist
World Conference on Transport Research-WCTR 2019, 2019
12019
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, 2018
2018
Bedroom Mayhem
C Hansen
Trafford Publishing, 2016
2016
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