Similar Items: A Constructive Framework for Nondeterministic Automata via Time-Shared, Depth-Unrolled Feedforward Networks
- Residuality and Learning for Nondeterministic Nominal Automata
- From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata
- Avoiding Shared Clocks in Networks of Timed Automata
- Efficient reduction of nondeterministic automata with application to language inclusion testing
- Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective
- PVSDNet: Joint Depth Prediction and View Synthesis Via Shared Latent Spaces in Real-Time