Eric Alsmann

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 5

Top Topics

Finite Automata

Top Venues

Publications

Marco Sälzer, Eric Alsmann, Florian Bruse, Martin Lange
Verifying and Interpreting Neural Networks Using Finite Automata. DLT (2024)
Marco Sälzer, Eric Alsmann, Martin Lange
The Computational Complexity of Formal Reasoning for Encoder-Only Transformers. CoRR (2024)
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, Eric Alsmann, Florian Bruse, Martin Lange
Verifying And Interpreting Neural Networks using Finite Automata. CoRR (2022)
Eric Alsmann, Florian Bruse, Martin Lange
Separating the Expressive Power of Propositional Dynamic and Modal Fixpoint Logics. EXPRESS/SOS (2021)