Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking (2003)

Cached

Download Links

by W. Penczek , Podlasie Academy , A. Lomuscio
Citations:84 - 41 self