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
Lukas Koller
Researcher
Tobias LadnerCo-authorship / ResearcherMiriam KranzlmüllerCo-authorship / ResearcherMatthias AlthoffCo-authorship / ResearcherTopiceess.SYWorks on / 7081 worksTopicArtificial IntelligenceWorks on / 22915 worksPaperSet-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical SystemsAuthorship / preprint / 2026PaperFormal Semantics and Formally Verified Validation for Temporal PlanningAuthorship / preprint / 2022