Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams

Graph-Based Algorithms for Boolean Function Manipulation

Bryant · IEEE Transactions on Computers · 1986 · 8.9K citations · Full text

Computing, Computer Science, Algorithms +16

Lecture Notes in Artificial Intelligence

Patrick Brézillon, Paolo Bouquet · 1999 · 7.4K citations

Computing, Computer Science, Artificial Intelligence +9

Model checking

E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations

The model checker SPIN

Gerard J. Holzmann · IEEE Transactions on Software Engineering · 1997 · 3.8K citations

Computing, Computer Engineering, Computer Science +12

Reasoning about knowledge

Mathematical Social Sciences · 1994 · 3.6K citations