Domain-Specific Optimization in Automata Learning
Abstract elided by the publisher.
Related papers
- Active Learning of Symbolic NetKAT Automata PLDI 2025
- Automata Learning from Preference and Equivalence Queries CAV 2025
- Synthesizing DSLs for Few-Shot Learning OOPSLA 2025
- Efficiently Learning Locality Optimizations by Decomposing Transformation Domains CC 2023
- Synthesis of data completion scripts using finite tree automata OOPSLA 2017
- Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning TACAS 2020
- Learning One-Clock Timed Automata TACAS 2020
- Accelerating Syntax-Guided Program Synthesis by Optimizing Domain-Specific Languages POPL 2026