by Chatterjee, Krishnendu, Chmelík, Martin, Gupta, Raghav, Kanodia, Ayush
Published in Artificial intelligence (01.05.2016)

by Chatterjee, Krishnendu, Chmelík, Martin, Tracol, Mathieu
Published in Journal of computer and system sciences (01.08.2016)

by Chatterjee, Krishnendu, Chmelík, Martin
Published in Artificial intelligence (01.04.2015)

by Brázdil, Tomáš, Chatterjee, Krishnendu, Chmelík, Martin, Forejt, Vojtěch, Křetínský, Jan, Kwiatkowska, Marta, Parker, David, Ujma, Mateusz
Published in Automated Technology for Verification and Analysis

by Svoreňová, Mária, Křetínský, Jan, Chmelík, Martin, Chatterjee, Krishnendu, Černá, Ivana, Belta, Calin
Published in Nonlinear analysis. Hybrid systems (01.02.2017)

by Černý, Pavol, Chmelík, Martin, Henzinger, Thomas A., Radhakrishna, Arjun
Published in Theoretical computer science (04.12.2014)

by Chatterjee, Krishnendu, Chmelík, Martin, Daca, Przemysław
Published in Formal methods in system design (01.10.2015)

by Brázdil, Tomáš, Chatterjee, Krishnendu, Chmelík, Martin, Fellner, Andreas, Křetínský, Jan
Published in Computer Aided Verification

by Chatterjee, Krishnendu, Chmelik, Martin, Gupta, Raghav, Kanodia, Ayush
Published in 2015 IEEE International Conference on Robotics and Automation (ICRA) (01.05.2015)

by Chatterjee, Krishnendu, Chmelík, Martin, Daca, Przemysław
Published in Computer Aided Verification

by Chatterjee, Krishnendu, Chmelík, Martin
Published in Proceedings of the International Conference on Automated Planning and Scheduling (30.03.2016)

by Lohse, Konrad, Chmelik, Martin, Martin, Simon H, Barton, Nicholas H
Published in Genetics (Austin) (01.02.2016)

by Černý, Pavol, Chmelík, Martin, Henzinger, Thomas A., Radhakrishna, Arjun
Published in Electronic proceedings in theoretical computer science (07.10.2012)

by Brázdil, Tomáš, Chatterjee, Krishnendu, Chmelik, Martin, Forejt, Vojtěch, Křetínský, Jan, Kwiatkowska, Marta, Meggendorfer, Tobias, Parker, David, Ujma, Mateusz
Year of Publication 14.03.2024

by Chatterjee, Krishnendu, Chmelik, Martin, Topcu, Ufuk
Published in Proceedings of the International Conference on Automated Planning and Scheduling (15.06.2018)

by Chatterjee, Krishnendu, Chmelik, Martin
Year of Publication 09.08.2014

by Chatterjee, Krishnendu, Chmelik, Martin, Topcu, Ufuk
Year of Publication 29.09.2017

by Chatterjee, Krishnendu, Chmelik, Martin, Davies, Jessica
Year of Publication 26.11.2015

by Brázdil, Tomáš, Chatterjee, Krishnendu, Chmelik, Martin, ejt, Vojtěch, Křetínský, Jan, Kwiatkowska, Marta, Meggendorfer, Tobias, Parker, David, Ujma, Mateusz
Published in arXiv.org (20.03.2024)

by Chatterjee, Krishnendu, Chmelik, Martin, Daca, Przemyslaw
Year of Publication 05.05.2014