A Model Checking Algorithm for Multiagent Systems

@inproceedings{Benerecetti1998AMC,
  title={A Model Checking Algorithm for Multiagent Systems},
  author={Massimo Benerecetti and Fausto Giunchiglia and Luciano Serafini},
  booktitle={ATAL},
  year={1998}
}

From This Paper

Topics from this paper.
22 Citations
0 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 22 extracted citations

Similar Papers

Loading similar papers…