David Purser
- History-Constrained Systems
2026/01/01 by Louwe B. Kuijer, David Purser, Henry Sinclair-Banks +1 · 1 voice
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Petri Nets in System Modeling #cs.FL
- Representing One Letter Weighted Automata Over the Tropical Semiring
2026/06/24 by Shaull Almagor, Ismaël Jecker, Filip Mazowiecki +3 · 1 voice
Computer Science · #cs.FL