Constraint-based analysis of concurrent probabilistic hybrid systems: An application to networked automation systems

Stochastic Differential Equations: Theory and Applications.

P. Whittle, Ludwig Arnold · Journal of the Royal Statistical Society Series A (General) · 1976 · 2.4K citations

Engineering, Mathematics, Differential Equations +11

STOCHASTIC DIFFERENTIAL EQUATIONS: THEORY AND APPLICATIONS

David Williams · Bulletin of the London Mathematical Society · 1976 · 1.1K citations

Engineering, Mathematics, Differential Equations +11

Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure1

Martin Fränzle, Christian Herde, Tino Teige et al. · Journal on Satisfiability Boolean Modeling and Computation · 2007 · 313 citations · Full text

Computing, Computer Science, Mathematics +10

Games against nature

Christos H. Papadimitriou · Journal of Computer and System Sciences · 1985 · 250 citations · Full text

Stochastic Boolean Satisfiability

Michael L. Littman, Stephen M. Majercik, Toniann Pitassi · Journal of Automated Reasoning · 2001 · 125 citations