Jana Tumova talks about formal verification of computer systems and synthesizing controllers from models. Host: Per Sjöborg, Robots in Depth #18 supported by http://www.aptomica.com
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.
Please support the show on Patreon
Instagram https://www.instagram.com/persjoborg/
The host Per Sjöborg on http://www.flexibilityenvelope.com
https://www.patreon.com/RobotsinDepth
Leave a Reply