Verifying Multi-agent Systems via Unbounded Model Checking

@article{unbounded-verification05,
   apice = {UnboundedVerification05},
   author = {Kacprzak, M. and Lomuscio, A. and Lasica, T. and Penczek, W. and Szreter, M.},
   doi = {10.1007/978-3-540-30960-4_13},
   journal = {Lecture Notes in Computer Science},
   publisher = {Springer},
   title = {Verifying Multi-agent Systems via Unbounded Model Checking},
   volume = 3228,
   year = 2005
}