Formal verification of computer systems and autonomous golf carts w/Jana Tumova

from Wevolver Robots in Depth · host Per Sjoborg

Jana talks about formal verification of computer systems and synthesizing controllers from models.We get an introduction to the relatively new, especially when applied to robotics, field of formal verification. Jana talks about the requirements and limits of formal verification and how she feels we are ready to start merging the computer science process with regulatory and business processes.Jana also describes how she worked on an autonomous golf cart in Singapore where the controller was synthesized.This podcast is part of the Wevolver network. Wevolver is a platform & community providing engineers informative content to help them innovate.Learn more at Wevolver.comPromote your company in our podcast?If you are interested in sponsoring the podcast, you can contact us at [email protected]

What this episode covers

Jana Tumova is an Assistant Professor at the Department of Robotics, Perception, and Learning (RPL) at the School of Computer Science and Communication at KTH Royal Institute of Technology.

NOW PLAYING

Formal verification of computer systems and autonomous golf carts w/Jana Tumova

0:00 19:59

1×

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

Share this episode

Similar Episodes

Food Saved My Life

Mar 19, 2026 ·34m

Eat More Vegetables: The 4 Foods That Beat Ozempic (Naturally)

Feb 18, 2026 ·11m

How to End Heart Disease with Dr. Fuhrman

Feb 11, 2026 ·45m

Revolutionizing Breast Health: QT Imaging, Overdiagnosis, and What to Do Instead

Jan 27, 2026 ·35m

The Dark Side of the Supplement Industry

Nov 12, 2025 ·35m

Electrolytes, Energy, and the Deadly Salt Fix

Oct 17, 2025 ·40m

Similar Podcasts

MG Show MG Show The MG Show, hosted by Jeffrey Pedersen and Shannon Townsend, is a leading alternative media platform dedicated to uncovering the truth behind today’s most pressing political issues. Launched in 2019, the show has grown exponentially, offering unfiltered insights, comprehensive research, and real-time analysis. With a commitment to independent journalism and factual integrity, the MG Show empowers its audience with knowledge and encourages active participation in the political discourse. Eat to Live Jenna Fuhrman, Dr. Fuhrman Our health is our most precious gift and smart nutrition can change your life. Each month, join Dr. Fuhrman and his daughter, Jenna Fuhrman as they discuss important topics in the world of nutrition. Eat to Live will change the way you eat and think about food. French Your Way Jessica: Native French teacher founder of French Your Way Boost your French listening skills and test your comprehension with this one of a kind series of podcasts. Get the chance to listen to a real conversation between native speakers talking at normal speed AND customise your learning experience through carefully designed sets of questions (2 levels of difficulty) available for download at www.frenchvoicespodcast.com. All interviews also come with the transcript. French teacher Jessica interviews native speakers of French from around the world who share a bit of their life and passion. Where else would you meet in one same place a French yoga teacher based in Melbourne, a soap manufacturer from Provence, or a couple cycling around the world? XXX Tech by SOVRYN Dr. Brian Sovryn The crossroads between technology, sensuality, and metaphysics - and the longest running anarchist podcast in the world! Brought to you by Dr. Brian Sovryn.

Frequently Asked Questions

How long is this episode of Wevolver Robots in Depth?

This episode is 19 minutes long.

When was this Wevolver Robots in Depth episode published?

This episode was published on November 21, 2019.

What is this episode about?

Can I download this Wevolver Robots in Depth episode?

Yes, you can download this episode by clicking the download button on the episode player, or subscribe to the podcast in your preferred podcast app for automatic downloads.

URL copied to clipboard!