Model Checking Agent Programs by Using the Program Interpreter
Published in Lecture notes in computer science • Jan 1, 2010
Authors:,,
Sung-Shik T. Q. Jongmans
Koen V. Hindriks
M. Birna van Riemsdijk
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!