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
8 links
Leander Tentrup
Researcher
PaperApproximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential TimeAuthorship / preprint / 2016PaperDistributed PROMPT-LTL SynthesisAuthorship / preprint / 2016PaperEfficient Monitoring of Hyperproperties using Prefix TreesAuthorship / preprint / 2021PaperRealizing Omega-regular HyperpropertiesAuthorship / preprint / 2021PaperVerifying HyperlivenessAuthorship / preprint / 2020PaperThe Second Reactive Synthesis Competition (SYNTCOMP 2015)Authorship / preprint / 2016PaperThe First Reactive Synthesis Competition (SYNTCOMP 2014)Authorship / preprint / 2016PaperThe 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & ResultsAuthorship / preprint / 2016