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
3 links
Martin Wirsing
Researcher
PaperModeling and Analyzing Adaptive User-Centric Systems in Real-Time MaudeAuthorship / preprint / 2010PaperSynthesizing Safe Policies under Probabilistic Constraints with Reinforcement Learning and Bayesian Model CheckingAuthorship / preprint / 2021PaperA modular bisimulation characterisation for fragments of hybrid logicAuthorship / preprint / 2023