Ji‐Cheng Zhao

Papers

Total Citations

H-Index

About

Ji-Cheng Zhao is a researcher whose work lies at the intersection of artificial intelligence, cognitive robotics, and formal logic. His primary research focuses on goal specification for autonomous agents, particularly in environments characterized by non-deterministic actions—a critical challenge for developing reliable and predictable AI systems. Zhao’s major contribution is advancing formal languages that allow humans to specify complex objectives for robots and agents whose actions may have uncertain outcomes. His 2004 paper on "Goal specification in presence of non-deterministic actions" (13 citations) and his 2006 follow-up on "Goal specification, non-determinism and quantifying over policies" (7 citations) explore how temporal logics like LTL and CTL* can be adapted to handle non-determinism, moving beyond traditional deterministic frameworks. While his citation counts reflect a specialized, foundational audience, Zhao’s work is notable for tackling a core problem in agent-directed autonomy: ensuring that even when actions have unpredictable effects, the agent’s behavior aligns with human intent. His research is essential reading for students and engineers working on cognitive robotics, multi-agent systems, and formal verification of autonomous systems.