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

Cached

Download Links

by W. Penczek , Podlasie Academy , A. Lomuscio
Citations:70 - 38 self