Tomás Kolárik

According to our database, Tomás Kolárik authored at least 9 papers between 2018 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Multi-Agent Path Finding with Continuous Time Using SAT Modulo Linear Arithmetic Over the Reals.

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

SN Comput. Sci., February, 2026

Parallel SMT Solving via Iterative Tree Partitioning.

Tomás Kolárik, Antti E. J. Hyvärinen, Seyedmasoud Asadzadeh, Natasha Sharygina

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

Formally Explaining Neural Network Classification.

Tomás Kolárik, Grigory Fedyukovich, Faezeh Labbaf, Fabrizio Leopardi, Natasha Sharygina, Michael Wand

Proceedings of the Formal Methods - 27th International Symposium, 2026

Interpreting Logical Explanations of Classifying Neural Networks.

Fabrizio Leopardi, Faezeh Labbaf, Tomás Kolárik, Michael Wand, Natasha Sharygina

Proceedings of the 34th European Symposium on Artificial Neural Networks, 2026

2025

Space Explanations of Neural Network Classification.

Faezeh Labbaf, Tomás Kolárik, Martin Blicha, Grigory Fedyukovich, Michael Wand, Natasha Sharygina

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

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

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

Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

2023

Railway Scheduling Using Boolean Satisfiability Modulo Simulations.

Tomás Kolárik, Stefan Ratschan

Proceedings of the Formal Methods - 25th International Symposium, 2023

2020

SAT Modulo Differential Equation Simulations.

Tomás Kolárik, Stefan Ratschan

Proceedings of the Tests and Proofs - 14th International Conference, 2020

2018

Suppressing external visual distractors from driver's field of view.

Tomás Kolárik, Ivo Malý, Zdenek Míkovec

Proceedings of the 9th IEEE International Conference on Cognitive Infocommunications, 2018