Similar Items: Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
- Deterministic Suffix-reading Automata
- An automata-based approach for synchronizable mailbox communication
- Risk-Aware Selective Neural Refinement for Reliable Dense Retrieval
- Buffered Bounded Transparent Scan for Test Generation
- Tighter Bounds for Query Answering with Guarded TGDs
- Adaptive Nonparametric Perturbations of Parametric Models with Generalized Bayes