Conference paper
Reasoning about knowledge and time in asynchronous systems
Joseph Y. Halpern, Moshe Y. Vardi
STOC 1988
Joseph Y. Halpern, Moshe Y. Vardi
STOC 1988
Gaku Yamamoto, Hideki Tai, et al.
AAMAS 2008
Paula Harder, Venkatesh Ramesh, et al.
EGU 2023
Jehanzeb Mirza, Leonid Karlinsky, et al.
NeurIPS 2023