• Sign in
  • Sign up
conf.researchr.org / Peter Gjøl Jensen
  • ECOOP and ISSTA 2021 profile
  • ETAPS 2019 profile
  • NWPT 2023 - 34th Nordic Workshop on Programming Theory profile
  • POPL 2022 profile
Peter Gjøl Jensen

Registered user since Tue 27 Oct 2020

Name:Peter Gjøl Jensen
Country:Denmark
Affiliation:Aalborg University, Denmark
X (Twitter): https://x.com/petergjoel
GitHub: https://github.com/petergjoel
Research interests:Formal Methods, Reinforcement Learning, Distributed Systems

Contributions

2023

NWPT

  • Author of Minimizing State Space Partitionings Using Decision Trees within the NWPT 2023-track

2022

VMCAI

  • Author of Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking within the VMCAI 2022-track

2021

SPIN

  • Aalborg University, Denmark in Programming Committee within the SPIN-track

2019

SPIoT

  • Author of ADTLang: A Programming Language Approach to Attack Defense Trees within the SPIoT-track
Share
xSat 24 May 22:03
using conf.researchr.org (v1.69.0)
Support page
Sign Up