publication venue for Temporal segmentation in multi agent path finding with applications to explainability 2024 Reasoning about nonlinear system identification 2001 Min-max computation tree logic 2001 PARADIGMS OF ARTIFICIAL-INTELLIGENCE PROGRAMMING - NORVIG 1993
keywords 0801 Artificial Intelligence and Image Processing, 1702 Cognitive Sciences, 0802 Computation Theory and Mathematics