Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Martin Mundhenk
Researcher
PaperThe model checking problem for intuitionistic propositional logic with one variable is AC1-completeAuthorship / preprint / 2011PaperIntuitionistic implication makes model checking hardAuthorship / preprint / 2012PaperThe Complexity of Satisfiability for Fragments of Hybrid Logic -- Part IAuthorship / preprint / 2009PaperThe Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly FragmentsAuthorship / preprint / 2008PaperThe Complexity of Plan Existence and Evaluation in Probabilistic DomainsAuthorship / preprint / 2013PaperModel Checking CTL is Almost Always Inherently SequentialAuthorship / preprint / 2011PaperThe model checking fingerprints of CTL operatorsAuthorship / preprint / 2015