Jonis Kiesbye

Papers

Total Citations

H-Index

About

Jonis Kiesbye is a researcher at the intersection of automated planning and formal verification, whose work bridges the gap between traditional AI planning and model checking. Their most-cited paper, "Planning via model checking with decision-tree controllers" (2022, 4 citations), introduces a novel approach that leverages model checkers to generate universal plans—also known as strategies, policies, or controllers—capable of making decisions under any circumstances, unlike conventional planners that require replanning upon faults. This contribution addresses a fundamental limitation in planning by providing robust, fault-tolerant solutions. Kiesbye’s research primarily focuses on automated planning, model checking, and decision-tree controllers, with an emphasis on creating resilient, precomputed strategies for dynamic environments. While their citation count is modest, the work is notable for its conceptual innovation, offering a fresh perspective on how formal methods can enhance planning systems. This line of inquiry holds promise for applications in robotics, autonomous systems, and safety-critical domains, positioning Kiesbye as a thoughtful contributor to the ongoing dialogue between planning and verification communities.