Robohub.org
Robots in Depth with Jana Tumova
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.
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.
AUAI is supported by:
Related posts :
Robot Talk Episode 164 – Accelerating robot learning, with Michelle Lu
Robot Talk
02 Oct 2026
In the latest episode of the Robot Talk podcast, Claire chatted to Michelle Lu from Vsim Technology about using simulation and artificial intelligence to teach robots new skills.
Robotics and automation? Informal reflections on familiar terms
IEEE Robotics and Automation Society (RAS)
30 Sep 2026
IEEE experts reflect on what is meant by the term "robotics and automation".
Small, medium or large, a robotic fish maintains its swimming ability
EPFL
28 Sep 2026
Researchers at EPFL and New York University have developed a robotic fish that can be made in various sizes for studying shallow creeks to open water.
Robot Talk Episode 163 – Robots helping people, with Aaron Edsinger
Robot Talk
25 Sep 2026
In the first episode of Robot Talk season 7, Claire chatted to Aaron Edsinger from Hello Robot about their Stretch robots that can help people with mobility issues live more independently.
An open source approach to physical AI from Intrinsic
Lucy Smith
25 Sep 2026
Find out more about the capabilities of Intrinsic Core.
What’s coming up at #IROS2026?
Lucy Smith
24 Sep 2026
Find out what the International Conference on Intelligent Robots and Systems has in store.
Robotics roadmaps from around the world spotlight of the month: China
IEEE Robotics and Automation Society (RAS)
23 Sep 2026
China is targeting the next industrial revolution by doubling down on embodied AI and humanoid robotics, building directly on its vast manufacturing infrastructure.
Mars rovers give scientists a ground-level view of the red planet – peek inside their NASA control room
The Conversation
21 Sep 2026
NASA created Curiosity to search for evidence of ancient habitable environments.
