Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners

Model checking

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

The temporal logic of programs

Amir Pnueli · 1977 · 5.7K citations

Computing, Computer Science, Formal Methods +16

Automatic verification of finite-state concurrent systems using temporal logic specifications

E. M. Clarke, E. Allen Emerson, A. Prasad Sistla · ACM Transactions on Programming Languages and Systems · 1986 · 3.6K citations · Full text

Computing, Computer Science, Formal Methods +16

The FF Planning System: Fast Plan Generation Through Heuristic Search

J. Hoffmann, Bernhard Nebel · Journal of Artificial Intelligence Research · 2001 · 1.9K citations · Full text

Computing, Autonomous Systems, Motion Planning +14

PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains

Maria Fox, Derek Long · Journal of Artificial Intelligence Research · 2003 · 1.7K citations · Full text

Management, Decision Sciences, Production Planning +13