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

Fuente: Zenodo
Saved in:
Bibliographic Details
Main Author: m
Format: Recurso digital
Published: Zenodo 2025
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items