EasyChair Smart SlideDocs/Log in
Author: Simon Wimmer

This page shows all presentations of this author published in EasyChair Smart Slide.

MDP + TA = PTA: Probabilistic Timed Automata, Formalized (Short Paper)

MDP + TA = PTA: Probabilistic Timed Automata, Formalized (Short Paper)

Simon Wimmer and Johannes Hölzl

Verified Memoization and Dynamic Programming

Verified Memoization and Dynamic Programming

Simon Wimmer, Shuwei Hu and Tobias Nipkow

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair