| 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 | 216 | 2015 |
| 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 | 82 | 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 | 68 | 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 | 60 | 2015 |
| 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 | 36 | 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 Quantitative Evaluation of Systems: 16th International Conference, QEST 2019 …, 2019 | 31 | 2019 |
| Uppaal stratego for intelligent traffic lights AB Eriksen, C Huang, J Kildebogaard, H Lahrmann, KG Larsen, M Muniz, ... 12th ITS European Congress, 2017 | 29 | 2017 |
| 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 | 19 | 2013 |
| 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 | 11 | 2019 |
| 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 | 10 | 2014 |
| Controlling signalized intersections using machine learning AB Eriksen, H Lahrmann, KG Larsen, JH Taankvist Transportation Research Procedia 48, 987-997, 2020 | 6 | 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 |
| 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 | | |
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
