Simulating RBFT-1 in TLA+: Formalizing Relativistic Finality and Irreversible Collapse for AI Swarms

Fuente: Zenodo
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: m
Format: Recurso digital
Veröffentlicht: Zenodo 2025
Online-Zugang:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge