news    views    podcast    learn    |    about    contribute     republish    
Share this article: facebook . twitter . linkedin . reddit

Robots in Depth with Jana Tumova

March 2, 2018

In this episode of Robots in Depth, Per Sjöborg speaks with Jana Tumova, Assistant Professor at the KTH Royal Institute of Technology, 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.

Robots in Depth
guest author
Robots in Depth is a new video series featuring interviews with researchers, entrepreneurs, VC investors, and policy makers in robotics, hosted by Per Sjöborg.

comments powered by Disqus

Autonomous Aircraft by Xwing
July 12, 2021

Are you planning to crowdfund your robot startup?

Need help spreading the word?

Join the Robohub crowdfunding page and increase the visibility of your campaign