Eric Alsmann

13 papers A* 1A 1C 3Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
On the Expressiveness of State Space Models via Temporal Logics.
CoRR
Eric Alsmann, Lowejatan Noori, Martin Lange
2026 J jnl
Verifying and interpreting neural networks using finite automata.
Inf. Comput.
Marco Sälzer, Eric Alsmann, Florian Bruse, Martin Lange
2025 C conf
Metric Linear-Time Temporal Logic with Strict First-Time Semantics.
TIME
Eric Alsmann, Martin Lange
2025 — conf
On the Complexity of Formal Reasoning in State Space Models (Extended Abstract).
SAIV
Eric Alsmann, Martin Lange
2025 A conf
The Computational Complexity of Satisfiability in State Space Models.
ECAI
Eric Alsmann, Martin Lange
2025 J jnl
The Computational Complexity of Satisfiability in State Space Models.
CoRR
Eric Alsmann, Martin Lange
2025 A* conf
Transformer Encoder Satisfiability: Complexity and Impact on Formal Reasoning.
ICLR
Marco Sälzer, Eric Alsmann, Martin Lange
2024 C conf
Real-Time Higher-Order Recursion Schemes.
TIME
Eric Alsmann, Florian Bruse
2024 J jnl
The Computational Complexity of Formal Reasoning for Encoder-Only Transformers.
CoRR
Marco Sälzer, Eric Alsmann, Martin Lange
2024 C conf
Verifying and Interpreting Neural Networks Using Finite Automata.
DLT
Marco Sälzer, Eric Alsmann, Florian Bruse, Martin Lange
2023 — conf
On Challenges and Opportunities in the Translation of Deep Neural Networks into Finite Automata.
OVERLAY@AI*IA
Marco Sälzer, Eric Alsmann, Martin Lange
2022 J jnl
Verifying And Interpreting Neural Networks using Finite Automata.
CoRR
Marco Sälzer, Eric Alsmann, Florian Bruse, Martin Lange
2021 — conf
Separating the Expressive Power of Propositional Dynamic and Modal Fixpoint Logics.
EXPRESS/SOS
Eric Alsmann, Florian Bruse, Martin Lange