2 papers
cs.LG2025
Automata Learning from Preference and Equivalence Queries
Eric Hsiung, Joydeep Biswas, Swarat Chaudhuri
Active automata learning from membership and equivalence queries is a foundational problem with numerous applications. We propose a novel variant of the active automata learning pr…
cs.FL2024
Learning Quantitative Automata Modulo Theories
Eric Hsiung, Swarat Chaudhuri, Joydeep Biswas
Quantitative automata are useful representations for numerous applications, including modeling probability distributions over sequences to Markov chains and reward machines. Active…