Article

Fundamenta Informaticae 55 (2003) 1--19 1 IOS Press

06/2003;
Source: CiteSeer

ABSTRACT 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.

0 Bookmarks
 · 
46 Views