Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Giantamidis, Georgios"'
The problem of learning automata from example traces (but no equivalence or membership queries) is fundamental in automata learning theory and practice. In this paper we study this problem for finite state machines with inputs and outputs, and in par
Externí odkaz:
http://arxiv.org/abs/1605.07805
Autor:
Malaquias, Felipe Lisboa, Giantamidis, Georgios, Basagiannis, Stylianos, Rollini, Simone Fulvio, Amundson, Isaac
Publikováno v:
Ada User Journal; Jun2024, Vol. 44 Issue 2, p146-151, 6p
Autor:
Giantamidis, Georgios, Papanikolaou, Georgios, Miranda, Marcelo, Salinas-Hernando, Gonzalo, Valverde-Alcala, Juan, Veluru, Suresh, Basagiannis, Stylianos
Formal methods practices can sometimes be challenging to adopt in industrial environments. On the other hand, the need for formalization and verification in the design of complex systems is now more evident than ever. To the end of easing integration
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9b2d46a0b816c7db4620cf0923745a3e
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
International Journal on Software Tools for Technology Transfer; Feb2021, Vol. 23 Issue 1, p1-29, 29p