In this paper, we provide a comprehensive outline of the different threads of work in
Explainable AI Planning (XAIP) that has emerged as a focus area in the last couple of years …

Explainable planning is widely accepted as a pre-requisite for autonomous agents to
successfully work with humans. While there has been a lot of research on generating …

The merge-and-shrink framework has been introduced as a general approach for defining
abstractions of large state spaces arising in domain-independent planning and related …

Recently, the D3WA system was proposed as a paradigm shift in how complex goal-oriented
dialogue agents can be specified by taking a declarative view of design. However, it turns …

In this paper, we revisit and formalize temporal decomposition, as one of the most basic,
widely-used and effective preprocessing techniques in hardware model checking. The main …

Automated planning is a prominent Artificial Intelligence challenge, as well as being a
common capability requirement for intelligent autonomous agents. A critical aspect of what is …

We are concerned with the synthesis of strategies for sequential decision-making in
nondeterministic dynamical environments where the objective is to satisfy a prescribed …

We formally verify executable algorithms for solving Markov decision processes (MDPs) in
the interactive theorem prover Isabelle/HOL. We build on existing formalizations of …

Recent work in classical planning has introduced dedicated techniques for detecting
unsolvable states, ie, states from which no goal state can be reached. We approach the …

In this paper, we aim at providing a comprehensive outline of the different threads of work in
human-AI collaboration. By highlighting various aspects of works on the human-AI team …