E-LIB Suche - Ergebnisse für: Jensen, Peter Gjøl

1

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/..

2

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/..

3

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/..

4

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/..

5

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/..

6

Tools and algorithms for the construction and analysis of s..:

Jensen, Peter Gjøl ; Neele, Thomas
International Journal on Software Tools for Technology Transfer. 25 (2023) 2 - p. 129-131 , 2023

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

7

Automata-Driven Partial Order Reduction and Guided Search f..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Jensen, Peter Gjøl ; Srba, Jiří ; Ulrik, Nikolaj Jensen. - p. 151-173 , 2022

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

8

Automata-Theoretic Approach to Verification of MPLS Network..:

Duijn, Ingo van ; Jensen, Peter Gjol ; Jensen, Jesper Stenbjerg...
IEEE/ACM Transactions on Networking. 30 (2022) 2 - p. 766-781 , 2022

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

9

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/..

10

Monte Carlo Tree Search for Priced Timed Automata:

, In: Lecture Notes in Computer Science; Quantitative Evaluation of Systems,

Jensen, Peter Gjøl ; Kiviriga, Andrej ; Guldstrand Larsen, Kim... - p. 381-398 , 2022

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

11

End-to-End Heat-Pump Control Using Continuous Time Stochast..:

, In: Lecture Notes in Computer Science; Theoretical Aspects of Software Engineering,

Hasrat, Imran Riaz ; Jensen, Peter Gjøl ; Larsen, Kim Guldstrand. - p. 363-380 , 2022

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

12

Faster Pushdown Reachability Analysis with Applications in ..:

, In: Lecture Notes in Computer Science; Automated Technology for Verification and Analysis,

Jensen, Peter Gjøl ; Schmid, Stefan ; Schou, Morten Konggaard... - p. 170-186 , 2021

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

13

ADTLang: a programming language approach to attack defense ..:

Hansen, René Rydhof ; Larsen, Kim Guldstrand ; Legay, Axel..
International Journal on Software Tools for Technology Transfer. 23 (2021) 1 - p. 89-104 , 2021

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

14

Hierarchical flexibility potentials of residential building..:

Golmohamadi, Hessam ; Larsen, Kim Guldstrand ; Jensen, Peter Gjøl.
Journal of Building Engineering. 41 (2021) - p. 102425 , 2021

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

15

Approximating Euclidean by Imprecise Markov Decision Proces..:

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

Jaeger, Manfred ; Bacci, Giorgio ; Bacci, Giovanni.. - p. 275-289 , 2020

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