research
∙
03/29/2023
Partial Product Updates for Agents of Detectable Failure and Logical Obstruction to Task Solvability
The logical method proposed by Goubault, Ledent, and Rajsbaum provides a...
research
∙
05/13/2022
Proving Unsolvability of Set Agreement Task with Epistemic mu-Calculus
This paper shows, in the framework of the logical method,the unsolvabili...
research
∙
11/27/2020
Logical Obstruction to Set Agreement Tasks for Superset-Closed Adversaries
In their recent paper (GandALF 2018), Goubault, Ledent, and Rajsbaum pro...
research
∙
11/20/2017