A Logic for Repair and State Recovery in Byzantine Fault-Tolerant Multi-agent Systems.

Hans van Ditmarsch, Krisztina Fruzsa, Roman Kuznets, Ulrich Schmid

Browse the full IJCAR paper archive.