A Aralex Aachen research explorer

Data Archiving and Networked Services (DANS)

Search and filter its papers →

1

Aachen authors

Patent citations

–

h-index (all)

Aachen papers per year

22

Papers 1

Experiments for 'Scenario-Based Verification of Uncertain Parametric MDPs'
2022 Data Archiving and Networked Services (DANS) dataset Computer Science Formal Methods in Verification Open access

Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

16

citations

1 result

Most active Aachen authors

Joost-Pieter Katoen 20,330 citations overall
1 paper