Nils Jansen

1PUBLICATIONS
3CO-AUTHORS
Stochastic analysis and modelling
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Aug 06, 2020
Scenario-Based Verification of Uncertain MDPs.

Murat Cubuktepe, Nils Jansen, Sebastian Junges

Pageof 1

Frequent Collaborators

1 joint publications

Murat Cubuktepe

1 joint publications

Sebastian Junges

1 joint publications

Joost-Pieter Katoen