most citedSpace Explanations of Neural Network Classification

1 citations · 1 across the 1 of their papers we have counts for

collaborators
Showing cs.MAShow all

1 paper · 1 filter

cs.MA2023

Multi-Agent Path Finding with Continuous Time Using SAT Modulo Linear Real Arithmetic

Tomáš Kolárik, Stefan Ratschan, Pavel Surynek

This paper introduces a new approach to solving a continuous-time version of the multi-agent path finding problem. The algorithm translates the problem into an extension of the cla…