E-LIB Suche - Ergebnisse für: Larsen, Kim Guldstrand

1

Uncertainty-Aware Temporal Graph Convolutional Network for ..:

Qian, Weizhu ; Nielsen, Thomas Dyhre ; Zhao, Yan..
IEEE Transactions on Intelligent Transportation Systems. 25 (2024) 8 - p. 8578-8590 , 2024

Link: https://doi.org/10.1109/..

2

Refinement of Systems with an Attacker Focus:

, In: Lecture Notes in Computer Science; Formal Methods for Industrial Critical Systems,

Larsen, Kim Guldstrand ; Legay, Axel ; Poulsen, Danny Bøgsted - p. 96-112 , 2023

Link: https://doi.org/10.1007/..

3

A toolchain for domestic heat-pump control using Uppaal Str..:

Hasrat, Imran Riaz ; Jensen, Peter Gjøl ; Larsen, Kim Guldstrand.
Science of Computer Programming. 230 (2023) - p. 102987 , 2023

Link: https://doi.org/10.1016/..

4

Dual Balancing of SoC/SoT in Smart Batteries Using Reinforc..:

, In: IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society,

Kristjansen, Martin ; Kulkarni, Abhijit ; Jensen, Peter Gjol.. - p. 1-6 , 2023

Link: https://doi.org/10.1109/..

5

Modelling of Hot Water Buffer Tank and Mixing Loop for an I..:

, In: Lecture Notes in Computer Science; Formal Methods for Industrial Critical Systems,

Hasrat, Imran Riaz ; Jensen, Peter Gjøl ; Larsen, Kim Guldstrand. - p. 113-130 , 2023

Link: https://doi.org/10.1007/..

6

Shielded Reinforcement Learning for Hybrid Systems:

, In: Lecture Notes in Computer Science; Bridging the Gap Between AI and Reality,

Brorholt, Asger Horn ; Jensen, Peter Gjøl ; Larsen, Kim Guldstrand.. - p. 33-54 , 2023

Link: https://doi.org/10.1007/..

7

Usage-and Risk-Aware Falsification Testing for Cyber-Physic..:

, In: Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems,

Kiviriga, Andrej ; Larsen, Kim Guldstrand ; Nickovic, Dejan. - p. 141-157 , 2023

Link: https://doi.org/10.1007/..

8

Elimination of Detached Regions in Dependency Graph Verific..:

, In: Lecture Notes in Computer Science; Model Checking Software,

Jensen, Peter Gjøl ; Larsen, Kim Guldstrand ; Srba, Jiří. - p. 163-179 , 2023

Link: https://doi.org/10.1007/..

9

Algorithmic Minimization of Uncertain Continuous-Time Marko..:

Cardelli, Luca ; Grosu, Radu ; Larsen, Kim Guldstrand...
IEEE Transactions on Automatic Control. 68 (2023) 11 - p. 6557-6572 , 2023

Link: https://doi.org/10.1109/..

10

Comparative Analysis of UppaalSMC, ns-3 and MATLAB/Simulink:

, In: Lecture Notes in Computer Science; Engineering of Computer-Based Systems,

Naeem, Muhammad ; Albano, Michele ; Larsen, Kim Guldstrand. - p. 153-169 , 2023

Link: https://doi.org/10.1007/..

11

Randomized reachability analysis in UPPAAL: fast error dete..:

Kiviriga, Andrej ; Larsen, Kim Guldstrand ; Nyman, Ulrik
International Journal on Software Tools for Technology Transfer. 24 (2022) 6 - p. 1025-1042 , 2022

Link: https://doi.org/10.1007/..

12

Monitoring Timed Properties (Revisited):

, In: Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems,

Grosen, Thomas Møller ; Kauffman, Sean ; Larsen, Kim Guldstrand. - p. 43-62 , 2022

Link: https://doi.org/10.1007/..

13

Importance Splitting in Uppaal:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning,

Larsen, Kim Guldstrand ; Legay, Axel ; Mikučionis, Marius. - p. 433-447 , 2022

Link: https://doi.org/10.1007/..

14

Integration of flexibility potentials of district heating s..:

Golmohamadi, Hessam ; Larsen, Kim Guldstrand ; Jensen, Peter Gjøl.
Renewable and Sustainable Energy Reviews. 159 (2022) - p. 112200 , 2022

Link: https://doi.org/10.1016/..

15

Statistical Model Checking for Probabilistic Hyperpropertie..:

, In: Lecture Notes in Computer Science; Model Checking Software,

Arora, Shiraj ; Hansen, René Rydhof ; Larsen, Kim Guldstrand.. - p. 61-78 , 2022

Link: https://doi.org/10.1007/..