TY  - RPRT
TI  - A Logical Semantics for PDDL+
AU  - Vitaliy Batusov
AU  - Mikhail Soutchanski
PY  - 2021
UR  - https://arxiv.org/abs/2111.11588
ID  - 2111.11588
ER  -