Model checking epistemic–probabilistic logic using probabilistic interpreted systems

Planning and acting in partially observable stochastic domains

Leslie Pack Kaelbling, Michael L. Littman, Anthony R. Cassandra · Artificial Intelligence · 1998 · 4.1K citations

Computing, Autonomous Systems, Mathematics +12

Reasoning about knowledge

Mathematical Social Sciences · 1994 · 3.6K citations

Probability: Theory and Examples.

Kathryn Prewitt, Richard Durrett · Journal of the American Statistical Association · 1992 · 3.3K citations

Engineering, Mathematics, Probability Theory +16

PROBABILITY: THEORY AND EXAMPLES

L. C. G. Rogers · Bulletin of the London Mathematical Society · 1992 · 1.5K citations

Natural Sciences, Mathematics, Probability Theory +13

The dining cryptographers problem: Unconditional sender and recipient untraceability

David Chaum · Journal of Cryptology · 1988 · 1.4K citations · Full text

Computing, Communication, Computer Science +12