TY - JOUR AB - 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 coordination in multi-agent systems. AU - Penczek,W AU - Lomuscio,A EP - 185 PY - 2003/// SN - 0169-2968 SP - 167 TI - Verifying epistemic properties of multi-agent systems via bounded model checking T2 - Fundamenta Informaticae VL - 55 ER -