QUINTIC learns deterministic quantitative automata from preference queries using SMT-based conjectures over variable equivalences, with claimed guarantees of completeness and minimalism.
weighted automata
1 Pith paper cite this work, alongside 7 external citations. Polarity classification is still indexing.
1
Pith paper citing it
7
external citations · OpenAlex
fields
cs.FL 1years
2024 1verdicts
REJECT 1representative citing papers
citing papers explorer
-
Learning Quantitative Automata Modulo Theories
QUINTIC learns deterministic quantitative automata from preference queries using SMT-based conjectures over variable equivalences, with claimed guarantees of completeness and minimalism.