Martin Mundhenk

Identifiers

• name variant Martin Mundhenk 0.60 · backfill

Papers (6)

1. The model checking fingerprints of CTL operators cs.LO · 2015 · author #3
2. The Complexity of Plan Existence and Evaluation in Probabilistic Domains cs.AI · 2013 · author #3
3. The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers cs.CC · 2012 · author #3
4. Intuitionistic implication makes model checking hard cs.CC · 2011 · author #1
5. The model checking problem for intuitionistic propositional logic with one variable is AC1-complete cs.CC · 2010 · author #1
6. The Complexity of Satisfiability for Fragments of Hybrid Logic -- Part I cs.LO · 2009 · author #2

Mentions

• 1504.04708 #3 · backfill · confidence 0.70 Martin Mundhenk
• 1302.1540 #3 · backfill · confidence 0.70 Martin Mundhenk
• 1204.1196 #3 · backfill · confidence 0.70 Martin Mundhenk
• 1107.1963 #1 · backfill · confidence 0.70 Martin Mundhenk
• 1012.3828 #1 · backfill · confidence 0.70 Martin Mundhenk
• 0906.1489 #2 · backfill · confidence 0.70 Martin Mundhenk

Frequent Coauthors

• Felix Weiss 4 shared papers
• Arne Meier 3 shared papers
• Michael Thomas 2 shared papers
• Thomas Schneider 2 shared papers
• Andreas Krebs 1 shared papers
• Judy Goldsmith 1 shared papers
• Michael L. Littman 1 shared papers
• Stefan G\"oller 1 shared papers
• Volker Weber 1 shared papers