activity
20182026
most citedMonadic Second-Order Logic with Path-Measure Quantifier is Undecidable

3 citations · 3 across the 7 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

cs.FL2021

Active Learning of Sequential Transducers with Side Information about the Domain

Raphaël Berthon, Adrien Boiret, Guillermo A. Perez +1

Active learning is a setting in which a student queries a teacher, through membership and equivalence queries, in order to learn a language. Performance on these algorithms is ofte…