Martin Chmelik

37 papers A* 6A 2B 3Journal 21Unranked 5

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Learning Algorithms for Verification of Markov Decision Processes. TheoretiCS Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma
2024	J	`jnl`	Learning Algorithms for Verification of Markov Decision Processes. CoRR Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma
2018	A*	`conf`	Sensor Synthesis for POMDPs with Reachability Objectives. ICAPS Krishnendu Chatterjee, Martin Chmelik, Ufuk Topcu
2017	J	`jnl`	Sensor Synthesis for POMDPs with Reachability Objectives. CoRR Krishnendu Chatterjee, Martin Chmelik, Ufuk Topcu
2016	A*	`conf`	A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. AAAI Krishnendu Chatterjee, Martin Chmelik, Jessica Davies
2016	A*	`conf`	Indefinite-Horizon Reachability in Goal-DEC-POMDPs. ICAPS Krishnendu Chatterjee, Martin Chmelik
2016	J	`jnl`	Optimal cost almost-sure reachability in POMDPs. Artif. Intell. Krishnendu Chatterjee, Martin Chmelik, Raghav Gupta, Ayush Kanodia
2016	J	`jnl`	Stochastic Shortest Path with Energy Constraints in POMDPs. CoRR Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Anchit Gupta, Petr Novotný
2016	A	`conf`	Stochastic Shortest Path with Energy Constraints in POMDPs: (Extended Abstract). AAMAS Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Anchit Gupta, Petr Novotný
2016	J	`jnl`	What is decidable about partially observable Markov decision processes with ω-regular objectives. J. Comput. Syst. Sci. Krishnendu Chatterjee, Martin Chmelik, Mathieu Tracol
2015	J	`jnl`	A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs. CoRR Krishnendu Chatterjee, Martin Chmelik, Jessica Davies
2015	J	`jnl`	CEGAR for compositional analysis of qualitative properties in Markov decision processes. Formal Methods Syst. Des. Krishnendu Chatterjee, Martin Chmelik, Przemyslaw Daca
2015	—	`conf`	Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. CAV (1) Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, Jan Kretínský
2015	J	`jnl`	Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. CoRR Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, Jan Kretínský
2015	A*	`conf`	Optimal Cost Almost-Sure Reachability in POMDPs. AAAI Krishnendu Chatterjee, Martin Chmelik, Raghav Gupta, Ayush Kanodia
2015	J	`jnl`	POMDPs under probabilistic semantics. Artif. Intell. Krishnendu Chatterjee, Martin Chmelik
2015	A*	`conf`	Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. ICRA Krishnendu Chatterjee, Martin Chmelik, Raghav Gupta, Ayush Kanodia
2015	—	`conf`	Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. HSCC María Svorenová, Jan Kretínský, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerná, Calin Belta
2015	—	`conf`	Temporal logic motion planning using POMDPs with parity objectives: case study paper. HSCC María Svorenová, Martin Chmelik, Kevin Leahy, Hasan Ferit Eniser, Krishnendu Chatterjee, Ivana Cerná, Calin Belta
2014	A*	`conf`	CEGAR for Qualitative Analysis of Probabilistic Systems. CAV Krishnendu Chatterjee, Martin Chmelik, Przemyslaw Daca
2014	J	`jnl`	CEGAR for Qualitative Analysis of Probabilistic Systems. CoRR Krishnendu Chatterjee, Martin Chmelik, Przemyslaw Daca
2014	J	`jnl`	Interface simulation distances. Theor. Comput. Sci. Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna
2014	J	`jnl`	Optimal Cost Almost-sure Reachability in POMDPs. CoRR Krishnendu Chatterjee, Martin Chmelik, Raghav Gupta, Ayush Kanodia
2014	J	`jnl`	POMDPs under Probabilistic Semantics. CoRR Krishnendu Chatterjee, Martin Chmelik
2014	J	`jnl`	Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. CoRR Krishnendu Chatterjee, Martin Chmelik, Raghav Gupta, Ayush Kanodia
2014	J	`jnl`	Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games. CoRR María Svorenová, Jan Kretínský, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerná, Calin Belta
2014	B	`conf`	Verification of Markov Decision Processes Using Learning Algorithms. ATVA Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
2014	J	`jnl`	Verification of Markov Decision Processes using Learning Algorithms. CoRR Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
2013	A	`conf`	POMDPs under Probabilistic Semantics. UAI Krishnendu Chatterjee, Martin Chmelik
2013	J	`jnl`	POMDPs under Probabilistic Semantics. CoRR Krishnendu Chatterjee, Martin Chmelik
2013	B	`conf`	What is Decidable about Partially Observable Markov Decision Processes with omega-Regular Objectives. CSL Krishnendu Chatterjee, Martin Chmelik, Mathieu Tracol
2013	J	`jnl`	What is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives. CoRR Krishnendu Chatterjee, Martin Chmelik, Mathieu Tracol
2012	—	`conf`	Controllable-Choice Message Sequence Graphs. MEMICS Martin Chmelik, Vojtech Rehák
2012	J	`jnl`	Controllable-choice Message Sequence Graphs CoRR Martin Chmelik, Vojtech Rehák
2012	B	`conf`	Equivalence of Games with Probabilistic Uncertainty and Partial-Observation Games. ATVA Krishnendu Chatterjee, Martin Chmelik, Rupak Majumdar
2012	J	`jnl`	Equivalence of Games with Probabilistic Uncertainty and Partial-observation Games CoRR Krishnendu Chatterjee, Martin Chmelik, Rupak Majumdar
2012	—	`conf`	Interface Simulation Distances GandALF Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna