Peter Gjøl Jensen

Registered user since Tue 27 Oct 2020

Name:Peter Gjøl Jensen
Country:Denmark
Affiliation:Aalborg University, Denmark
Research interests:Formal Methods, Reinforcement Learning, Distributed Systems

Contributions

VMCAI 2022 Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking
Show activities from other conferences

Using general profile