Peter Gjøl Jensen
Current Organizations / Institutes
The organizations/institutes from the scholar's latest article
Previous Organizations / Institutes
The organizations / institutes from the scholar's other articles in the past ten years
Research Subjects
Peter Gjøl Jensen has a total of 95 co-authors. Here are the top co-authors by number of shared publications:
Kim Guldstrand Larsen
14 shared publications- Jiří Srba
Aalborg University
12 shared publications - Kim Guldstrand Larsen
Aalborg University
10 shared publications Axel Legay
Aalborg University
5 shared publicationsJiří Srba
Aalborg University
4 shared publications- Danny Bøgsted Poulsen
Aalborg University
3 shared publications
Latest Publications
- 5 November 2025
- Published by Springer Nature
- p. 97-111
Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems
- 5 November 2025
- Published by Springer Nature
- p. 97-111
Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems
- 26 October 2025
- Published by Springer Nature
- p. 49-61
TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets
- 26 October 2025
- Published by Springer Nature
- p. 49-61
TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets
- 14 December 2023
- Published by Springer Nature
- p. 33-54
Shielded Reinforcement Learning for Hybrid Systems
- 14 December 2023
- Published by Springer Nature
- p. 33-54
Shielded Reinforcement Learning for Hybrid Systems
- 17 September 2023
- Published by Springer Nature
- p. 113-130
Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control
- 17 September 2023
- Published by Springer Nature
- p. 113-130
Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control
- 2 May 2023
- Published by Springer Nature
- p. 163-179
Elimination of Detached Regions in Dependency Graph Verification
- 2 May 2023
- Published by Springer Nature
- p. 163-179
Elimination of Detached Regions in Dependency Graph Verification
- Open Access
- 17 February 2023
- Published by Springer Nature in International Journal on Software Tools for Technology Transfer
- Vol. 25 (2) , 129-131
Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021
This special issue contains six revised and extended versions of tool papers that appeared in the proceedings of TACAS 2021, the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. The issue is dedicated to the realization of algorithms in tools and the studies of the application of these tools for analysing hard- and software systems.
- 17 February 2023
- Published by Springer Nature in International Journal on Software Tools for Technology Transfer
- Vol. 25 (2) , 129-131
Open AccessTools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021
This special issue contains six revised and extended versions of tool papers that appeared in the proceedings of TACAS 2021, the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. The issue is dedicated to the realization of algorithms in tools and the studies of the application of these tools for analysing hard- and software systems.
- 21 October 2022
- Published by Springer Nature
- p. 327-333
STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego
- 21 October 2022
- Published by Springer Nature
- p. 327-333
STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego
- 11 September 2022
- Published by Springer Nature
- p. 381-398
Monte Carlo Tree Search for Priced Timed Automata
- 11 September 2022
- Published by Springer Nature
- p. 381-398
Monte Carlo Tree Search for Priced Timed Automata