Zohar Manna
Papers
2
Total Citations
77
H-Index
2
About
Zohar Manna is a foundational figure in artificial intelligence, automated reasoning, and formal verification. His pioneering work on planning and situational logic, most notably the seminal paper "How to clear a block: A theory of plans" (1987, 66 citations), established a rigorous logical framework for representing and reasoning about actions, goals, and plan formation. This research laid the groundwork for modern AI planning systems by formalizing how agents can generate sequences of actions to achieve desired states. Manna's broader contributions include co-developing the temporal logic of reactive systems and advancing program verification techniques that underpin today's safety-critical software. His textbook, *The Temporal Logic of Reactive and Concurrent Systems*, remains a standard reference. With over 66 citations on his most cited work alone, Manna's influence spans decades, shaping how researchers model intelligent behavior and verify system correctness. His legacy endures in the principles of automated deduction and the formal methods that ensure reliability in everything from robotics to cloud computing.
Research Focus
Key Achievements
Top Papers
- 1How to clear a block: A theory of plans66 citations · 1987
- 2How to clear a block: Plan formation in situational logic11 citations · 1986