Speaker
Mauricio Castillo-Effen
Talks at this conference:
| Wed, 15:30 | From Runtime Verification to Runtime Assurance: Architectural Patterns for Learning-Enabled Autonomy Live |
Sponsored by:
Formal Methods Europe
Speaker
| Wed, 15:30 | From Runtime Verification to Runtime Assurance: Architectural Patterns for Learning-Enabled Autonomy Live |