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.

Questions About This Episode

What is #5: Crossing the Streams about?

Combining Markov decision processes with software verification.

Where can I listen to #5: Crossing the Streams?

You can listen to #5: Crossing the Streams online on Radio and Podcast. Open the player on this page to stream the available audio.

Which podcast is #5: Crossing the Streams from?

#5: Crossing the Streams is an episode from My FLoC Experience by Chris Patuzzo.

How long is this episode?

This episode is 00:06:08 long.

When was this episode published?

This episode was published on Jul 5, 2018.

Can I save #5: Crossing the Streams for later?

Yes. Use the heart button on the episode page to add it to your favorite episodes list.

Are there related episodes from My FLoC Experience?

Yes. This page shows related episodes from My FLoC Experience when more episodes are available from the podcast feed.

Quick Answers About This Episode

Where can I listen to #5: Crossing the Streams?

You can listen to #5: Crossing the Streams on this page when the episode audio is available from the podcast feed.

Which podcast is this episode from?

#5: Crossing the Streams is from My FLoC Experience by Chris Patuzzo.

What are the episode details?

Published Jul 5, 2018 and 00:06:08 long