TY  - RPRT
TI  - A Logic for Repair and State Recovery in Byzantine Fault-tolerant Multi-agent Systems
AU  - Hans van Ditmarsch
AU  - Krisztina Fruzsa
AU  - Roman Kuznets
AU  - Ulrich Schmid
PY  - 2024
DO  - 10.1007/978-3-031-63501-4_7
UR  - https://arxiv.org/abs/2401.06451
ID  - 2401.06451
ER  -