A contract negotiation scheme for safety verification of interconnected systems.

Xiao Tan Antonis Papachristodoulou Dimos V. Dimarogonas

Published in: CoRR (2023)

Keyphrases

multi agent
management system
cooperative
expert systems
supply chain
asynchronous circuits
distributed systems
intelligent systems
building blocks
intelligent agents
complex systems
safety analysis