Verifying Space and Time Requirements for Resource-Bounded Agents - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, Luciano Serafini. Verifying Space and Time Requirements for Resource-Bounded Agents. In Stefan Edelkamp, Alessio Lomuscio, editors, Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers. Volume 4428 of Lecture Notes in Computer Science, pages 19-34, Springer, 2006. [doi]

This author has not been identified. Look up 'Natasha Alechina' in GoogleThis author has not been identified. Look up 'Piergiorgio Bertoli' in GoogleThis author has not been identified. Look up 'Chiara Ghidini' in GoogleThis author has not been identified. Look up 'Mark Jago' in GoogleThis author has not been identified. Look up 'Brian Logan' in GoogleThis author has not been identified. Look up 'Luciano Serafini' in Google

runs on WebDSL