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

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