Active learning of sequential transducers with side information about the domain
From MaRDI portal
Publication:832921
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
Uses Software
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