Conference paper
A platform for massive agent-based simulation and its evaluation
Gaku Yamamoto, Hideki Tai, et al.
AAMAS 2008
A method for proving and disprowng propemes of programs ts described Its mam features are Recurstvely defined procedures can be used m assemons, loop mvarlants are not necessary, absence of run time errors is proven, counterexamples to incorrect programs can be given Experience with the method's lmplementaUon is reported. © 1978, ACM. All rights reserved.
Gaku Yamamoto, Hideki Tai, et al.
AAMAS 2008
Ronald Fagin
Journal of the ACM
Yehuda Naveli, Michal Rimon, et al.
AAAI/IAAI 2006
Baihan Lin, Guillermo Cecchi, et al.
IJCAI 2023