Learning infinite-word automata with loop-index queries

From MaRDI portal
Publication:2124472

DOI10.1016/j.artint.2022.103710OpenAlexW4220776705MaRDI QIDQ2124472

Jakub Michaliszyn, Jan Otop

Publication date: 11 April 2022

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2022.103710





Uses Software


Cites Work


This page was built for publication: Learning infinite-word automata with loop-index queries