Jip Spel -

Registered user since Wed 1 Dec 2021

Name:Jip Spel

Country:Germany

Affiliation:RWTH Aachen University

Personal website: https://moves.rwth-aachen.de/people/spel/

Contributions

2025

ATVA

Author of Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains within the ATVA Papers-track

2022

VMCAI

Author of Gradient-Descent for Randomized Controllers under Partial Observability within the VMCAI 2022-track