Conference paper
Reasoning about knowledge and time in asynchronous systems
Joseph Y. Halpern, Moshe Y. Vardi
STOC 1988
Paper
A Propositional Modal Logic of Time Intervals
Related
Conference paper
A platform for massive agent-based simulation and its evaluation
Gaku Yamamoto, Hideki Tai, et al.
AAMAS 2008
Paula Harder, Venkatesh Ramesh, et al.
EGU 2023
Jehanzeb Mirza, Leonid Karlinsky, et al.
NeurIPS 2023