Kim G. Larsen
Aalborg Universitet
H-index: 85
Europe-Denmark
Top articles of Kim G. Larsen
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Monitoring Real-Time Systems under Parametric Delay | arXiv preprint arXiv:2404.18282 | Martin Fränzle Thomas M Grosen Kim G Larsen Martin Zimmermann | 2024/4/28 |
Forward and Backward Constrained Bisimulations for Quantum Circuits | A Jiménez-Pastor KG Larsen M Tribastone M Tschaikowski | 2024/4/5 | |
Uncertainty-Aware Temporal Graph Convolutional Network for Traffic Speed Forecasting | IEEE Transactions on Intelligent Transportation Systems | Weizhu Qian Thomas Dyhre Nielsen Yan Zhao Kim Guldstrand Larsen James Jianqiao Yu | 2024/3/1 |
Safety Verification of Decision-Tree Policies in Continuous Time | Advances in Neural Information Processing Systems | Christian Schilling Anna Lukina Emir Demirović Kim Larsen | 2024/2/13 |
Refinement of Systems with an Attacker Focus | Kim Guldstrand Larsen Axel Legay Danny Bøgsted Poulsen | 2023/9/17 | |
Algorithmic minimization of uncertain continuous-time Markov chains | IEEE Transactions on Automatic Control | Luca Cardelli Radu Grosu Kim G Larsen Mirco Tribastone Max Tschaikowski | 2023/2/10 |
and Jiří Srba Department of Computer Science, Aalborg University, Aalborg, Denmark {imranh, pgj, kgl, srba}@ cs. aau. dk | Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings | Imran Riaz Hasrat Peter Gjøl Jensen Kim Guldstrand Larsen | 2023/9/16 |
Timed I/O Automata: It is never too late to complete your timed specification theory | arXiv preprint arXiv:2302.04529 | Martijn A Goorden Kim G Larsen Axel Legay Florian Lorber Ulrik Nyman | 2023/2/9 |
An mm algorithm to estimate parameters in continuous-time markov chains | Giovanni Bacci Anna Ingólfsdóttir Kim G Larsen Raphaël Reynouard | 2023/9/15 | |
Statistical Model Checking meets GDPR | Lecture Notes in Computer Science | Eduard Baranov Kim Larsen Axel Legay | 2023 |
Assume-Guarantee Reasoning for Additive Hybrid Behaviour | Pieter JL Cuijpers Jonas Hansen Kim G Larsen | 2023/9/8 | |
Curiosity-driven Planning with Reinforcement Learning | Kim Nguyen Christian Schilling Kim G Larsen | 2023 | |
Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems | Andrej Kiviriga Kim Guldstrand Larsen Dejan Nickovic Ulrik Nyman | 2023/8/29 | |
Guaranteed safe controller synthesis for switched systems using analytical solutions* | Martijn A Goorden Kim G Larsen Jesper E Nielsen Thomas D Nielsen Weizhu Qian | 2023/8/16 | |
AllSynth: A BDD-based approach for network update synthesis | Science of Computer Programming | Kim G Larsen Anders Mariegaard Stefan Schmid Jiří Srba | 2023/8/1 |
Compositional Control Synthesis for Water Management System | Esther Hahyeon Kim Kim Guldstrand Larsen Martijn A Goorden Thomas D Nielsen | 2023/11/10 | |
A toolchain for domestic heat-pump control using Uppaal Stratego | Science of Computer Programming | Imran Riaz Hasrat Peter Gjøl Jensen Kim Guldstrand Larsen Jiří Srba | 2023/8/1 |
Dynamic Extrapolation in Extended Timed Automata | Nicolaj Ø Jensen Peter G Jensen Kim G Larsen | 2023/11/9 | |
Determine stormwater pond geometrics and hydraulics using remote sensing technologies: A comparison between airborne-LiDAR and UAV-photogrammetry field validation against RTK-GNSS | Journal of Hydroinformatics | Guohan Zhao Michael R Rasmussen Kim G Larsen Jiri Srba Thomas D Nielsen | 2023/7/1 |
Shielded reinforcement learning for hybrid systems | Asger Horn Brorholt Peter Gjøl Jensen Kim Guldstrand Larsen Florian Lorber Christian Schilling | 2023/10/23 |