Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Stabile, Riccardo"'
In this paper, we present a categorical approach to learning automata over words, in the sense of the $L^*$-algorithm of Angluin. This yields a new generic $L^*$-like algorithm which can be instantiated for learning deterministic automata, automata w
Externí odkaz:
http://arxiv.org/abs/2010.13675
Publikováno v:
29th {EACSL} Annual Conference on Computer Science Logic, CSL 2021
29th Annual Conference on Computer Science Logic, CSL 2021, Jan 2021, Ljubljana, Slovenia. ⟨10.4230/LIPIcs.CSL.2021.15⟩
29th Annual Conference on Computer Science Logic, CSL 2021, Jan 2021, Ljubljana, Slovenia. ⟨10.4230/LIPIcs.CSL.2021.15⟩
International audience; In this paper, we present a categorical approach to learning automata over words, in the sense of the L∗-algorithm of Angluin. This yields a new generic L∗-like algorithm which can be instantiated for learning deterministi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e45bfff8b5e88372138f684bce98b580
https://hal.archives-ouvertes.fr/hal-03106961/file/LIPIcs-CSL-2021-15.pdf
https://hal.archives-ouvertes.fr/hal-03106961/file/LIPIcs-CSL-2021-15.pdf
Autor:
Stabile, Riccardo
2010/2011 Il modello di ablazione patrimoniale predisposto dal legislatore del Codice penale – identificato nella misura di sicurezza ex art. 240 c.p. ed imperniato sulla discussa nozione di pericolosità reale, intesa come probabilità che la res
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1119::b567c31dbc83bfe14e1151a63c1d13fe
https://hdl.handle.net/10077/7434
https://hdl.handle.net/10077/7434