Mateusz Rychlicki

According to our database, Mateusz Rychlicki authored at least 4 papers between 2023 and 2024.

Collaborative distances:

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

2024

A General Theoretical Framework for Learning Smallest Interpretable Models.

Sebastian Ordyniak, Giacomo Paesani, Mateusz Rychlicki, Stefan Szeider

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Dynamic Data Structures for Parameterized String Problems.

Jedrzej Olkowski, Michal Pilipczuk, Mateusz Rychlicki, Karol Wegrzycki, Anna Zych-Pawlewicz

Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science, 2023

Poster Abstract: A Toolchain for Accelerated Symbolic Control.

Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.

Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani

Proceedings of the Computer Aided Verification - 35th International Conference, 2023