Model checking agent programming languages

Lecture Notes in Computer Science 1205

Industrial Robot the international journal of robotics research and application · 1999 · 38.7K citations

Computing, Computer Science, Programming Languages +2

Lecture Notes in Artificial Intelligence

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

Computing, Computer Science, Artificial Intelligence +9

COUNTERSPECULATION, AUCTIONS, AND COMPETITIVE SEALED TENDERS

William Vickrey · The Journal of Finance · 1961 · 7.3K citations

Business, Business Economics, Economics +12

Model checking

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

Symbolic model checking: 1020 States and beyond

Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan et al. · Information and Computation · 1992 · 2.7K citations

Computing, Computer Engineering, Computer Science +12