Model Checking Space and Time Requirements for Resource-Bounded Agents

Mark T. Jago

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

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