Automatic verification of multi-agent systems by model checking via OBDDs. (2005)

by F Raimondi, A Lomuscio
Venue:Journal of Applied Logic,