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
9 links
Paul Hunter
Researcher
PaperLIFO-search on digraphs: A searching game for cycle-rankAuthorship / preprint / 2011PaperExpressive Completeness of Metric Temporal LogicAuthorship / preprint / 2013PaperWhen is Metric Temporal Logic Expressively Complete?Authorship / preprint / 2013PaperThe expressiveness of MTL with countingAuthorship / preprint / 2012PaperQuantitative games with interval objectivesAuthorship / preprint / 2014PaperReachability in succinct one-counter gamesAuthorship / preprint / 2014PaperLooking at Mean-Payoff through Foggy WindowsAuthorship / preprint / 2015PaperThree Variables Suffice for Real-Time SpecificationAuthorship / preprint / 2015