Radio and PodcastRadio and PodcastLive Radio & Podcasts
#5: Crossing the Streams artwork
Technology

#5: Crossing the Streams

My FLoC Experience by Chris Patuzzo

Jul 5, 201800:06:08Technology

Combining Markov decision processes with software verification.

About This Episode

#5: Crossing the Streams is an episode from My FLoC Experience by Chris Patuzzo. Combining Markov decision processes with software verification. The episode was published on Jul 5, 2018 and runs for 00:06:08. Use the player to listen online...

Podcast

This episode belongs to My FLoC Experience.

Listen Online

Use the player on this page to stream the episode online.

Episode Details

Published Jul 5, 2018, 00:06:08 long, audio available.

Related Episodes

Continue listening to more episodes from My FLoC Experience.

#18: Reflections

Jul 15, 2018 - 00:06:51

My last day at FLoC, with an awards ceremony and some final thoughts.

#17: Group Photo

Jul 14, 2018 - 00:06:45

More flavours of SAT, a group photo and a business meeting.

#16: Coffee

Jul 14, 2018 - 00:04:15

This episode is dedicated to my coffee enthusiast friend, Leo Cassarani.

#14: Proof Systems

Jul 12, 2018 - 00:04:55

Proof systems aren't as complicated as they sound.

#12: SAT Conference

Jul 12, 2018 - 00:06:21

The first day of the the international SAT conference.

#11: Checkmate in Nine

Jul 9, 2018 - 00:07:12

A last minute change of mind to learn about quantifiable boolean formulae.