Survey Lecture: Programs That Every Now and Then Flip Coins

 

Thursday, April 04, 2019, 4:30pm

Location: RWTH Aachen University, Department of Computer Science - Ahornstr. 55, building E2, B-IT, room 5053.2

 

Speaker: Joost-Pieter Katoen

 

 

part of UnRAVeL Survey Lecture “Uncertainty and Randomness in Algorithms, Verification, and Logic”