Active learning of sequential transducers with side information about the domain

DOI10.1007/978-3-030-81508-0_5OpenAlexW3198781677MaRDI QIDQ832921

Raphaël Berthon, Adrien Boiret, Jean-François Raskin, Guillermo A. Pérez

Publication date: 25 March 2022

Full work available at URL: https://arxiv.org/abs/2104.11758

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Uses Software

• Z3-str

Cites Work

• An efficient SMT solver for string constraints
• Assume-admissible synthesis
• Learning regular sets from queries and counterexamples
• Degrees of Lookahead in Regular Infinite Games
• Graph Games and Reactive Synthesis
• Rational Synthesis
• Grammatical Inference: Algorithms and Applications
• Benchmarks for automata learning and conformance testing

This page was built for publication: Active learning of sequential transducers with side information about the domain