fmcad20-material.zip
Dataset: Other datasets
Persons and affiliations
- Simon Jantsch - , Chair of Algebraic and Logical Foundations of Computer Science (Creator)
- Hans Harder - , Chair of Algebraic and Logical Foundations of Computer Science (Creator)
- Florian Funke - , Chair of Algebraic and Logical Foundations of Computer Science (Creator)
- Christel Baier - , Clusters of Excellence CeTI: Centre for Tactile Internet, Chair of Algebraic and Logical Foundations of Computer Science (Creator)
Keywords
Keywords
- Markov decision processes, certification, witnessing subsystems, probabilistic reachability, Theoretical Computer Science