Verifying Multi-agent Programs by Model Checking

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

A Structural Approach to Operational Semantics

Gordon Plotkin · 2004 · 2K citations

Language Studies, Computer Science, Formal Methods +6

Intention is choice with commitment

Philip R. Cohen, Hector J. Levesque · Artificial Intelligence · 1990 · 1.9K citations

Public Health, Social Psychology, Decision Making +3

Model Checking Programs

Willem Visser, Klaus Havelund, Guillaume Brat et al. · Automated Software Engineering · 2003 · 1.4K citations

Computing, Aerospace Engineering, Computer Science +13