Verifying epistemic properties of multi-agent systems via bounded model checking

@article{Penczek2003VerifyingEP,
  title={Verifying epistemic properties of multi-agent systems via bounded model checking},
  author={Wojciech Penczek and Alessio Lomuscio},
  journal={Fundam. Inform.},
  year={2003},
  volume={55},
  pages={167-185}
}
We present a framework for verifying temporal and epistemic properties of multi-agent systems by means of bounded model checking. We use interpreted systems as underlying semantics. We give details of the proposed technique, and show how it can be applied to the "attacking generals problem", a typical example of oordination in multi-agent systems. 
Highly Influential
This paper has highly influenced 18 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.
119 Citations
4 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-4 of 4 references

and Y

  • E. Clarke, A. Biere, R. Raimi
  • Zhu. Bounded model ch e king using…
  • 2001
Highly Influential
8 Excerpts

Similar Papers

Loading similar papers…