Graph explorer

Martin Chmelik

Martin Chmelik contributes to research discovery and scholarly infrastructure.

6 nodes5 linksoverview previewMartin Chmelik
6 nodes5 links
Martin Chmelik6 visible / 6 total nodes / 5 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAMartin ChmelikResearcherWEquivalence of Games wi...preprint / 2012WWhat is Decidable about...preprint / 2013WPOMDPs under Probabilis...preprint / 2014WCEGAR for Qualitative A...preprint / 2014WTemporal Logic Control ...preprint / 2015
PersonSignal 105 links

Martin Chmelik

Researcher

Open