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
10 links
Tobias Ladner
Researcher
PaperFormally Verifying Analog Neural Networks Under Process Variations Using Polynomial ZonotopesAuthorship / preprint / 2026PaperSet-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical SystemsAuthorship / preprint / 2026Matthias AlthoffCo-authorship / ResearcherYasmine Abu-HaeyehCo-authorship / ResearcherLars HedrichCo-authorship / ResearcherMiriam KranzlmüllerCo-authorship / ResearcherLukas KollerCo-authorship / ResearcherTopicArtificial IntelligenceWorks on / 22915 works