Automated verification and synthesis of stochastic hybrid systems: A survey

Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones

J.F. Sturm · Optimization methods & software · 1999 · 7.5K citations

Natural Sciences, Computer Science, Optimization +11

The temporal logic of programs

Amir Pnueli · 1977 · 5.7K citations

Computing, Computer Science, Formal Methods +16

Stochastic Differential Equations: An Introduction with Applications.

Saul Jacka, Bernt Øksendal · Journal of the American Statistical Association · 1987 · 4.1K citations

Engineering, Finance, Mathematics +17

Martingale Limit Theory and its Application.

R. M. Loynes, Peter Hall, C. C. Heyde · Journal of the Royal Statistical Society Series A (General) · 1984 · 2.8K citations · Full text

Engineering, Economics, Mathematics +12

Deterministic policy gradient algorithms

David Silver, Guy Lever, Nicolas Heess et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2014 · 1.7K citations · Full text

Computing, Computer Science, Artificial Intelligence +16