- Behavioural differential equations: a coinductive calculus of streams, automata, and power series J. J. M. M. Rutten Sat 25 March 2023
- Complete Abstractions for Checking Language Inclusion Pierre Ganty Francesco Ranzato Pedro Valero Sun 24 October 2021
- On path equivalence of nondeterministic finite automata Wen-Guey Tzeng Fri 07 February 2020
- Memory Reduction for Strategies in Infinite Games Michael Holtmann Christof Løding Sat 21 June 2014
Library Size: 13G (4 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A