Folgen
Jakob Haahr Taankvist
Jakob Haahr Taankvist
PhD student, Aalborg University, Department of Computer Science
Bestätigte E-Mail-Adresse bei cs.aau.dk
Titel
Zitiert von
Zitiert von
Jahr
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
1982015
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
782014
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
622016
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
572015
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
302019
Uppaal stratego for intelligent traffic lights
AB Eriksen, C Huang, J Kildebogaard, H Lahrmann, KG Larsen, M Muniz, ...
12th ITS European Congress, 2017
272017
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
262019
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
192013
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
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: 6th International Symposium, NFM 2014, Houston, TX, USA …, 2014
102014
Controlling signalized intersections using machine learning
AB Eriksen, H Lahrmann, KG Larsen, JH Taankvist
Transportation Research Procedia 48, 987-997, 2020
62020
Learning optimal scheduling for time uncertain settings
PG Jensen, JH Taankvist
Aalborg University, Student project, 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
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
Optimering af signalstyring i realtid: Intelligent styring af signalregulerede kryds ved anvendelse af maskinlæring og objektdetektering
M Færgemand, AB Eriksen, JH Taankvist, KG Larsen, H Lahrmann
Proceedings from the Annual Transport Conference at Aalborg University 24 (1), 2017
2017
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–19