SAT-Based Synthesis of Minimal Deterministic Real-Time Automata via 3DRTA Representation
No abstract available.
Related papers
- Learning Real-Time One-Counter Automata Using Polynomially Many Queries TACAS 2025
- Fast Obligation Translation and Synthesis CAV 2026
- Minimization of Visibly Pushdown Automata Using Partial Max-SAT TACAS 2017
- Exploring different automata representations for efficient regular expression matching on GPUs PPoPP 2013
- Minimal-Time Synthesis for Parametric Timed Automata TACAS 2019
- Minimal Synthesis of String to String Functions from Examples VMCAI 2019
- Strix: Explicit Reactive Synthesis Strikes Back! CAV 2018
- A Stable Lossless Syntax Tree for Real-Time Collaborative Programming ECOOP 2026