Følg
Jakob Haahr Taankvist
Jakob Haahr Taankvist
PhD student, Aalborg University, Department of Computer Science
Verificeret mail på cs.aau.dk
Titel
Citeret af
Citeret af
År
Uppaal stratego
A David, PG Jensen, KG Larsen, M Mikučionis, JH Taankvist
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
2282015
On time with minimal expected cost!
A David, PG Jensen, KG Larsen, A Legay, D Lime, MG Sørensen, ...
Automated Technology for Verification and Analysis: 12th International …, 2014
862014
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
702016
Safe and optimal adaptive cruise control
KG Larsen, M Mikučionis, JH Taankvist
Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the …, 2015
612015
Teaching stratego to play ball: Optimal synthesis for continuous space MDPs
M Jaeger, PG Jensen, K Guldstrand Larsen, A Legay, S Sedwards, ...
Automated Technology for Verification and Analysis: 17th International …, 2019
392019
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
Quantitative Evaluation of Systems: 16th International Conference, QEST 2019 …, 2019
342019
Uppaal stratego for intelligent traffic lights
AB Eriksen, C Huang, J Kildebogaard, H Lahrmann, KG Larsen, M Muniz, ...
12th ITS European Congress, 2017
302017
Verification of liveness properties on closed timed-arc Petri nets
M Andersen, H Gatten Larsen, J Srba, M Grund Sørensen, ...
Mathematical and Engineering Methods in Computer Science: 8th International …, 2013
212013
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: 8th International Workshop …, 2019
122019
Memory efficient data structures for explicit verification of timed systems
PG Jensen, KG Larsen, J Srba, MG Sørensen, JH Taankvist
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA …, 2014
112014
Controlling signalized intersections using machine learning
AB Eriksen, H Lahrmann, KG Larsen, JH Taankvist
Transportation Research Procedia 48, 987-997, 2020
72020
Learning optimal scheduling for time uncertain settings
PG Jensen, JH Taankvist
Aalborg University, Student project, 2014
42014
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
12018
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
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
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
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–18