A Logic for Repair and State Recovery in Byzantine Fault-tolerant Multi-agent Systems
Preprint in arXiv (January 2024)
The most recent citing publications are shown below. View all 224 publications that cite this research output on Dimensions.
Preprint in arXiv (January 2024)
Article in Synthese (December 2023)
Preprint in arXiv (December 2023)