| Uppaal stratego A David, PG Jensen, KG Larsen, M Mikučionis, JH Taankvist International Conference on Tools and Algorithms for the Construction and …, 2015 | 263 | 2015 |
| 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 | 96 | 2014 |
| 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 | 80 | 2016 |
| 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 | 68 | 2015 |
| Teaching stratego to play ball: Optimal synthesis for continuous space MDPs M Jaeger, PG Jensen, K Guldstrand Larsen, A Legay, S Sedwards, ... International Symposium on Automated Technology for Verification and …, 2019 | 50 | 2019 |
| 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 | 42 | 2019 |
| Uppaal stratego for intelligent traffic lights AB Eriksen, C Huang, J Kildebogaard, H Lahrmann, KG Larsen, M Muniz, ... 12th ITS European Congress, 156, 2017 | 33 | 2017 |
| Verification of liveness properties on closed timed-arc Petri nets M Andersen, H Gatten Larsen, J Srba, M Grund Sørensen, ... International Doctoral Workshop on Mathematical and Engineering Methods in …, 2012 | 24 | 2012 |
| Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga KG Larsen, A Le Coënt, M Mikučionis, JH Taankvist International Workshop on Design, Modeling, and Evaluation of Cyber Physical …, 2018 | 14 | 2018 |
| 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 | 12 | 2014 |
| Controlling signalized intersections using machine learning AB Eriksen, H Lahrmann, KG Larsen, JH Taankvist Transportation Research Procedia 48, 987-997, 2020 | 11 | 2020 |
| Learning optimal scheduling for time uncertain settings PG Jensen, JH Taankvist Aalborg University, Student project, 2014 | 4 | 2014 |
| 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 | 1 | 2018 |
| 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 | 1 | 2017 |
| Safe, Optimal and Compact Strategies for Cyber Physical Systems JH Taankvist | | 2025 |
| 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 |
| Online and Compositional Learning of Controllers with Application to Floor Heating JH Taankvist Tools and Algorithms for the Construction and Analysis of Systems LNCS 9636, 244, 0 | | |
| Discrete Verification of Weighted Timed-Arc Petri Nets JH Taankvist, MG Sørensen, HG Larsen, M Andersen | | |
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
