- Finitely Ambiguous and Finitely Sequential Weighted Automata over Fields Peter Kostolányi Mon 15 July 2024
- Elements of Stream Calculus: (An Extensive Exercise in Coinduction) J.J.M.M. Rutten Sat 25 March 2023
- Initial-state detectability and initial-state opacity of unambiguous weighted automata Aiwen Lai Sébastien Lahaye Zhiwu Li Wed 10 March 2021
Library Size: 13G (3 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
