notesum.ai

Published at November 21

Autonomous System Safety Properties with Multi-Machine Hybrid Event-B

cs.MA

Released Date: November 21, 2024

Authors: Richard Banach1

Aff.: 1Department of Computer Science, University of Manchester, Manchester, M13 9PL, UK

Arxiv: http://arxiv.org/abs/2411.14168v1