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
André Platzer
Researcher
PaperOverview of Logical Foundations of Cyber-Physical SystemsAuthorship / preprint / 2019PaperDifferential Equation Invariance AxiomatizationAuthorship / preprint / 2020PaperA Uniform Substitution Calculus for Differential Dynamic LogicAuthorship / preprint / 2015PaperDifferential Game LogicAuthorship / preprint / 2015PaperFirst-Order Game Logic and Modal Mu-CalculusAuthorship / preprint / 2022PaperDeductive Stability Proofs for Ordinary Differential EquationsAuthorship / preprint / 2022PaperVerifying Switched System Stability With LogicAuthorship / preprint / 2022PaperPegasus: Sound Continuous Invariant GenerationAuthorship / preprint / 2020