Martin Chmelík

Joined

March 2017

Names

Martin Chmelík

Emails

****@ist.ac.at (Confirmed)

Personal Links

Career & Education History

PhD student

IST Austria (ist.ac.at)

2011 – 2016

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs
Krishnendu Chatterjee, Martin Chmelik, Jessica Davies
- 2016 (modified: 16 Jul 2019)
- AAAI 2016
- Readers: Everyone
Optimal Cost Almost-Sure Reachability in POMDPs
Krishnendu Chatterjee, Martin Chmelik, Raghav Gupta, Ayush Kanodia
- 2015 (modified: 16 Jul 2019)
- AAAI 2015
- Readers: Everyone

Co-Authors