Probabilistic reachability for parametric Markov models

Introduction to automata theory, languages and computation

Mathematics and Computers in Simulation · 1981 · 10.8K citations

Logical Automaton, Engineering, Automated Reasoning +5

Crowds

Michael K. Reiter, Aviel D. Rubin · ACM Transactions on Information and System Security · 1998 · 1.8K citations

Privacy Preservation, Anonymity Properties, Engineering +12

A logic for reasoning about time and reliability

Hans Hansson, Bengt Jönsson · Formal Aspects of Computing · 1994 · 1.3K citations · Full text

Introduction to automata theory, languages, and computation, 2nd edition

John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman · ACM SIGACT News · 2001 · 465 citations

Logical Automaton, Engineering, Automated Reasoning +12

Specification and refinement of probabilistic processes

Bengt Jönsson, Kim G. Larsen · 2002 · 341 citations

Engineering, Verification, Transition System +21