Daniel Smertnig

1. Computing the linear hull: Deciding Deterministic? and Unambiguous? for weighted automata over fields
   2022/09/06 by Jason P. Bell, Bell, Jason P., Daniel Smertnig +1 · 3 citations
   Computer Science · #Combinatorics (math.CO) #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic, programming, and type systems #semigroups and automata theory
2. Factoring through monomial representations: arithmetic characterizations and ambiguity of weighted automata
   2024/10/04 by Antoni Puch, Daniel Smertnig, Puch, Antoni +1 · 1 citation
   Computer Science · #semigroups and automata theory #Formal Methods in Verification #Machine Learning and Algorithms