Volume: Vol-4142 OVERLAY 2025 | Year: 2025

Paper: | paper14 |


Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus -- Extended Abstract

127-132 PDF