Login / Signup
A Logic for Repair and State Recovery in Byzantine Fault-tolerant Multi-agent Systems.
Hans van Ditmarsch
Krisztina Fruzsa
Roman Kuznets
Ulrich Schmid
Published in:
CoRR (2024)
Keyphrases
</>
error detection
fault tolerant
fault tolerance
fault isolation
multi agent systems
state machine
distributed systems
high availability
load balancing
safety critical
computational logic
multi agent
normative systems
agent systems
finite state machines
modal logic
intelligent agents
fine grained
database