Tableaux-based Proof Techniques for Verifying Multi-Agent Systems

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

Original languageEnglish
Title of host publicationDHMS 2008 - Distributed Human-Machine Systems 2008
EditorsVladimir Maak, Jeffrey M. Bradshaw, Joachim Meyer, William A. Gruver, Petr Benda
Place of PublicationPrague
PublisherCzech Technical University
Number of pages6
ISBN (Print)9788001040270
Publication statusPublished - 2008
EventDistributed Human-Machine Systems, Conference - Athens, Greece
Duration: 9 Mar 200812 Mar 2008


ConferenceDistributed Human-Machine Systems, Conference
CityAthens, Greece


  • agents
  • multi-agent systems
  • temporal belief logic
  • agent beliefs
  • verification
  • tableaux

Cite this