Sasha Rubin

Explore comment les agents peuvent fonctionner efficacement dans des environnements imprévisibles grâce à la synthèse.

Une approche formelle pour vérifier la justesse des protocoles de consensus basés sur des DAG.