Peter Gjøl Jensen

Aalborg University

Denmark

Research Interests

Explore related searches

Professors in Artificial Intelligence

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

Articles (13)

Year:

2025

Year:

2023

Year:

2023

Year:

2023

Year:

2022

Year:

2022

Year:

2022

Year:

2022

Year:

2022

Year:

2021

Year:

2021

Year:

2021

Year:

2021

Collaborators (6)

Marius Mikučionis

Aalborg University

DENMARK

View details

Danny Bøgsted Poulsen

Aalborg University

DENMARK

View details

Marco Muniz

Aalborg University

DENMARK

View details

Cristina Seceleanu

SWEDEN

View details

Imran Riaz Hasrat

Aalborg University

DENMARK

View details

Jiri Srba

Aalborg University

DENMARK

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Peter Gjøl Jensen

Research Interests

Explore related searches

Contact this professor

Articles (13)

Towards model-driven heat pump control in a multi-story building

A toolchain for domestic heat-pump control using Uppaal Stratego

Methods for Efficient Unfolding of Colored Petri Nets

Tools and algorithms for the construction and analysis of systems

Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems

An investigation of safe and near-optimal strategies for prevention of Covid-19 exposure using stochastic hybrid models and machine learning

Verifiable strategy synthesis for multiple autonomous agents

Automata-Theoretic Approach to Verification of MPLS Networks under Link Failures

Integration of flexibility potentials of district heating systems into electricity markets

Stubborn Set Reduction for Two-Player Reachability Games

Optimization of Power-to-Heat Flexibility for Residential Buildings in Response to Day-Ahead Electricity Price

Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction

ADTLANG: A Programming Language Approach to Attack Defense Trees

Collaborators (6)

Marius Mikučionis

Danny Bøgsted Poulsen

Marco Muniz

Cristina Seceleanu

Imran Riaz Hasrat

Jiri Srba

Make your next move.