Christian Muise

University of Toronto, Massachusetts Institute of Technology, Queen's University

Papers

Total Citations

H-Index

About

Christian Muise is a leading researcher in automated planning and formal methods, with a focus on reasoning under uncertainty. His major contributions lie in Fully Observable Non-Deterministic (FOND) planning and contingent planning, where he has advanced the state of the art in generating plans for partially observable and nondeterministic environments. His highly cited 2014 work on computing contingent plans via FOND planning (48 citations) addresses a fundamental challenge for AI in robotics, game playing, and diagnostics. Muise is also known for developing the PRP planner, which he "rebooted" in a 2024 paper to push FOND planning further, and for creating SynKit (2018), a service for Linear Temporal Logic (LTL) synthesis—a classic problem in automatic software generation. His work bridges theory and practice, enabling robust decision-making in real-world applications like robot planning and dialogue-agent design. With a strong citation impact and a reputation for advancing foundational planning paradigms, Muise continues to shape the field of AI planning and synthesis.