Search

Anthony Mallet

Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots

Published with Wowchemy — the free, open source website builder that empowers creators.