Similar Items: Deterministic Suffix-reading Automata
- An automata-based approach for synchronizable mailbox communication
- Prover-Adversary games for systems over (non-deterministic) branching programs
- Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
- Left on read: Feeling the tiniest notifications
- Causal Explanations for Image Classifiers
- Objective Quality Evaluation of Point Clouds: Quality Features and Fusion Metrics