Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Collaborative Human-Agent Planning for Resilience   Intelligent agents powered by AI planning assist people in complex scenarios,
such as managing teams of semi-autonomous vehicles. However, AI planning models
may be incomplete, leading to plans that do not adequately meet the stated
objectives, especially in unpredicted situations. Humans, who are apt at
identifying and adapting to unusual situations, may be able to assist planning
agents in these situations by encoding their knowledge into a planner at
run-time. We investigate whether people can collaborate with agents by
providing their knowledge to an agent using linear temporal logic (LTL) at
run-time without changing the agent's domain model. We presented 24
participants with baseline plans for situations in which a planner had
limitations, and asked the participants for workarounds for these limitations.
We encoded these workarounds as LTL constraints. Results show that
participants' constraints improved the expected return of the plans by 10% ($p
< 0.05$) relative to baseline plans, demonstrating that human insight can be
used in collaborative planning for resilience. However, participants used more
declarative than control constraints over time, but declarative constraints
produced plans less similar to the expectation of the participants, which could
lead to potential trust issues.

12
The categories of this paper are: nucl-th
34
The categories of this paper are: chem-ph
31
The categories of this paper are: ao-sci
13
The categories of this paper are: quant-ph
0
The categories of this paper are: hep-ph
30
The categories of this paper are: q-alg
3
The categories of this paper are: physics
6
The categories of this paper are: astro-ph
21
The categories of this paper are: adap-org
16
The categories of this paper are: stat
35
The categories of this paper are: mtrl-th
14
The categories of this paper are: math-ph
29
The categories of this paper are: funct-an
15
The categories of this paper are: nucl-ex
27
The categories of this paper are: comp-gas
9
The categories of this paper are: nlin