Tableaux-based Proof Techniques for Verifying Multi-Agent Systems

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

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
Pages146-151
Number of pages6
ISBN (Print)9788001040270
Publication statusPublished - 2008
EventDistributed Human-Machine Systems, Conference - Athens, Greece
Duration: 9 Mar 200812 Mar 2008

Conference

ConferenceDistributed Human-Machine Systems, Conference
CityAthens, Greece
Period9/03/0812/03/08

Keywords

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

Cite this

Ma, J., & Orgun, M. A. (2008). Tableaux-based Proof Techniques for Verifying Multi-Agent Systems. In V. Maak, J. M. Bradshaw, J. Meyer, W. A. Gruver, & P. Benda (Eds.), DHMS 2008 - Distributed Human-Machine Systems 2008 (pp. 146-151). Prague: Czech Technical University.