1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LG2025★ 1 cited
Space Explanations of Neural Network Classification
Faezeh Labbaf, Tomáš Kolárik, Martin Blicha +3
We present a novel logic-based concept called Space Explanations for classifying neural networks that gives provable guarantees of the behavior of the network in continuous areas o…
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…