3 papers
cs.CC2025
New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality
Tomáš Nagy, Michael Pinsker, Michał Wrona
The path to the solution of Feder-Vardi dichotomy conjecture by Bulatov and Zhuk led through showing that more and more general algebraic conditions imply polynomial-time algorithm…
cs.LO2024
Strict width for Constraint Satisfaction Problems over homogeneous strucures of finite duality
Tomáš Nagy, Michael Pinsker
We investigate the `local consistency implies global consistency' principle of strict width among structures within the scope of the Bodirsky-Pinsker dichotomy conjecture for infin…
cs.RO2023
Ensemble Gaussian Processes for Adaptive Autonomous Driving on Multi-friction Surfaces
Tomáš Nagy, Ahmad Amine, Truong X. Nghiem +3
Driving under varying road conditions is challenging, especially for autonomous vehicles that must adapt in real-time to changes in the environment, e.g., rain, snow, etc. It is di…