BrighterTube

Joost-Pieter Katoen, RWTH Aachen University: "On termination of probabilistic programs"

Online Worldwide Seminars in Logic and Semantics482 subscribers

About this video

Advanced · Editorial review · 85% confidence

Round-10 hunt: picked; channel-level screens (sellers/exam/re-upload/devotional/vendor/events) and provenance check passed; strict per-title check + final strict pass; oEmbed verified.

A 51-minute video from Online Worldwide Seminars in Logic and Semantics: “Joost-Pieter Katoen, RWTH Aachen University: "On termination of probabilistic programs"”.

Science & Math

Video by Online Worldwide Seminars in Logic and Semantics, played through YouTube's embedded player.