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
