Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, and Luciano Serafini (2006). "Verifying space and time requirements for resource-bounded agents." Proceedings of the Fourth Workshop on Model Checking and Artificial Intelligence (MoChArt-2006) (pp. 16-30).
| |
|
|