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
Martina Seidl
Researcher
PaperThe QBF Gallery: Behind the ScenesAuthorship / preprint / 2016PaperSAT-Based Synthesis Methods for Safety SpecsAuthorship / preprint / 2013PaperQ-Resolution with Generalized AxiomsAuthorship / preprint / 2016PaperSatisfiability-Based Methods for Reactive Synthesis from Safety SpecificationsAuthorship / preprint / 2016PaperThe 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