EPISODE · Nov 21, 2019 · 19 MIN
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]
Embed this episode
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
No transcript for this episode yet
Similar Episodes
No similar episodes found.
Similar Podcasts
No similar podcasts found.