Search

Mohammed Foughali

On the Semantics of the GenoM3 Framework
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.