Martin Chmelík

15 papers and 183 indexed citations i.

Martin Chmelík has authored 15 papers that have received a total of 183 indexed citations. This includes 14 papers in Artificial Intelligence, 13 papers in Computational Theory and Mathematics and 1 paper in Molecular Biology. The topics of these papers are Formal Methods in Verification (13 papers), Machine Learning and Algorithms (4 papers) and AI-based Problem Solving and Planning (4 papers). Martin Chmelík is often cited by papers focused on Formal Methods in Verification (13 papers), Machine Learning and Algorithms (4 papers) and AI-based Problem Solving and Planning (4 papers) and collaborates with scholars based in Austria, India and Czechia. Martin Chmelík's co-authors include Krishnendu Chatterjee, Raghav Gupta, Călin Belta, Ivana Černá and Jan Křetínský and has published in prestigious journals such as Genetics, Artificial Intelligence and Journal of Computer and System Sciences.