Model Checking Space and Time Requirements for Resource-Bounded Agents

Mark T. Jago

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Original languageEnglish
Title of host publicationProceedings of the 4th Workshop on Model Checking and Artificial Intelligence
EditorsStefan Edelkamp, Alessio Lomuscio
Place of PublicationThe Netherlands
PublisherSpringer, Springer Nature
Pages16-30
Number of pages15
Publication statusPublished - 2006
Event4th Workshop on Model Checking and Artificial Intelligence - Riva del Garda, Italy
Duration: 29 Aug 2006 → …

Workshop

Workshop4th Workshop on Model Checking and Artificial Intelligence
CountryItaly
CityRiva del Garda
Period29/08/06 → …

Cite this

Jago, M. T. (2006). Model Checking Space and Time Requirements for Resource-Bounded Agents. In S. Edelkamp, & A. Lomuscio (Eds.), Proceedings of the 4th Workshop on Model Checking and Artificial Intelligence (pp. 16-30). The Netherlands: Springer, Springer Nature.