Joost-Pieter Katoen
2PUBLICATIONS
6CO-AUTHORS
Get your video featured.
Publish with JoVEGet your video featured.
Publish with JoVE
Publications (2)
Sort by Publication Date:
|Dec 04, 2023
The probabilistic termination tool amber.Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen
|Aug 06, 2020
Scenario-Based Verification of Uncertain MDPs.Murat Cubuktepe, Nils Jansen, Sebastian Junges
Pageof 1
