Sign up to save your podcasts
Or
Share #5: Crossing the Streams
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
#5: Crossing the Streams
Combining Markov decision processes with software verification.
View all episodes
By Chris PatuzzoCombining Markov decision processes with software verification.