news    views    podcast    learn    |    about    contribute     republish     events

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 is a new video series featuring interviews with researchers, entrepreneurs, VC investors, and policy makers in robotics, hosted by Per Sjöborg... read more

comments powered by Disqus

Socially Assistive Robots
March 19, 2018

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