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
6 links
Tom Melham
Researcher
PaperOn the Semantics of ReFLect as a Basis for a Reflective Theorem ProverAuthorship / preprint / 2013PaperLearning Concise Models from Long Execution TracesAuthorship / preprint / 2020PaperChaining Test Cases for Reactive System Testing (extended version)Authorship / preprint / 2013PaperDeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement LearningAuthorship / preprint / 2021PaperHardware/Software Co-verification Using Path-based Symbolic ExecutionAuthorship / preprint / 2020PaperEquivalence Checking a Floating-point Unit against a High-level C Model (Extended Version)Authorship / preprint / 2016