Tomás Kolárik

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

Collaborative distances:

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

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