@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Gal A. Kaminka's publication pages at
@COMMENT http://www.cs.biu.ac.il/~galk/publications/
@InProceedings{dx08, 
  author = 	 {Meir Kalech and Michael Lindner and Gal A. Kaminka}, 
  title = 	 {Diagnosis of Coordination Faults: A Matrix-Based Formulation},
  OPTcrossref =  {}, 
  OPTkey = 	 {}, 
  booktitle = {Proceedings of the International Workshop on Principles of Diagnosis ({DX}-2008)}, 
  OPTpages = 	 {}, 
  year = 	 {2008}, 
  abstract = { One of the key requirements in many multi-agent teams is that agents must coordinate on specific aspects of their joint task. Unfortunately, this coordination may fail due to intermittent failure in sensor readings, or communication failure, etc. A key challenge in model-based diagnosis of such coordination faults deals with an efficient model of the coordination between the agents in order to easily detect and diagnose coordination failures in runtime based on an observation of the agents involved. Previous mechanisms are useful only for small groups as they represent the coordination with binary constraints. This paper presents a model-based diagnosis (MBD) approach to coordination failure using non-binary constraints. To solve the diagnosis problem, we propose a matrix-based approach to represent the basic parts of our MBD. This representation is both generic and efficient for large-scale teams.
 }, 
  wwwnote = {}, 
  OPTeditor = 	 {}, 
  OPTvolume = 	 {}, 
  OPTnumber = 	 {}, 
  OPTseries = 	 {}, 
  OPTaddress = 	 {}, 
  OPTmonth = 	 {}, 
  OPTorganization = {}, 
  OPTpublisher = {}, 
  OPTnote = 	 {}, 
  OPTnote = 	 {}, 
  OPTannote = 	 {} 
}