Purser, David
- The boundedness and zero isolation problems for weighted automata over nonnegative rationals
2022/05/26 by Wojciech Czerwiński, Engel Lefaucheux, Czerwiński, Wojciech +7 · 2 citations
Chemistry · Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Organometallic Complex Synthesis and Catalysis #semigroups and automata theory
- History-deterministic Vector Addition Systems
2023/05/03 by Bose, Sougata, Purser, David, Totzke, Patrick · 2 citations
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
- Reachability in Dynamical Systems with Rounding
2020/09/28 by Christel Baier, Florian Funke, Baier, Christel +15 · 1 citation
Engineering · Computer Science · #Architecture and Computational Design #Artificial Intelligence in Games #Music Technology and Sound Studies
- Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata
2023/10/03 by Jecker, Ismaël, Mazowiecki, Filip, Purser, David · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)