Marie Farrell
Marie Farrell
Affiliation: University of Manchester
Pages in this Program
MTL for Compositional Specification of Assume Guarantee Contracts in Autonomous Robotics
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑