Marco Sälzer

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 16

Top Topics

Top Venues

Fundam. Informaticae

Publications

Marco Sälzer, Eric Alsmann, Florian Bruse, Martin Lange
Verifying and Interpreting Neural Networks Using Finite Automata. DLT (2024)
Pierre Nunn, Marco Sälzer, François Schwarzentruber, Nicolas Troquard
A Logic for Reasoning About Aggregate-Combine Graph Neural Networks. CoRR (2024)
Marco Sälzer, Eric Alsmann, Martin Lange
The Computational Complexity of Formal Reasoning for Encoder-Only Transformers. CoRR (2024)
Marco Sälzer, Silvia Beddar-Wiesing
Time-Aware Robustness of Temporal Graph Neural Networks for Link Prediction (Extended Abstract). TIME (2023)
Marco Sälzer, Eric Alsmann, Martin Lange
On Challenges and Opportunities in the Translation of Deep Neural Networks into Finite Automata. OVERLAY@AI*IA (2023)
Marco Sälzer, Martin Lange
Fundamental Limits in Formal Verification of Message-Passing Neural Networks. ICLR (2023)
Marco Sälzer, Eric Alsmann, Florian Bruse, Martin Lange
Verifying And Interpreting Neural Networks using Finite Automata. CoRR (2022)
Marco Sälzer, Martin Lange
Reachability in Simple Neural Networks. Fundam. Informaticae 189 (3-4) (2022)
Florian Bruse, Jörg Kreiker, Martin Lange, Marco Sälzer
Local higher-order fixpoint iteration. Inf. Comput. 289 (Part) (2022)
Marco Sälzer, Martin Lange
Reachability In Simple Neural Networks. CoRR (2022)
Marco Sälzer, Martin Lange
We Cannot Guarantee Safety: The Undecidability of Graph Neural Network Verification. CoRR (2022)
Marco Sälzer, Georg Siebert
Towards Learning From Graph Representable Formal Models. OVERLAY@GandALF (2021)
Florian Bruse, Marco Sälzer, Martin Lange
Finite Convergence of μ-Calculus Fixpoints on Genuinely Infinite Structures. MFCS (2021)
Marco Sälzer, Martin Lange
Reachability is NP-Complete Even for the Simplest Neural Networks. RP (2021)
Marco Sälzer, Martin Lange
Reachability Is NP-Complete Even for the Simplest Neural Networks. CoRR (2021)
Florian Bruse, Jörg Kreiker, Martin Lange, Marco Sälzer
Local Higher-Order Fixpoint Iteration. GandALF (2020)