Similar Items: Edit Distance of Finite-Valued Transducers
- Tree transducers of linear size-to-height increase (and the additive conjunction of linear logic)
- A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
- Finite-Horizon First-Order Rank Profiles of Regular Languages
- Value Functions for Temporal Logic: Optimal Policies and Safety Filters
- A Reversible Crumbling Abstract Machine for Plotkin's Call-by-Value
- Verification of Neural Networks (Lecture Notes)