( en | de | ru )

 

Disambiguierung von "Yovine, Sergio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Congruence-based Approach to Active Automata Learning from Neural Language Models.

, , , , und . ICGI, Volume 217 von Proceedings of Machine Learning Research, Seite 250-264. PMLR, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Sergio Yovine

Sergio Dellavalle

Sergio Moccia

Sérgio Campos

Sergio Scognamillo

 

Weitere Publikationen von Autoren mit dem selben Namen

A Congruence-based Approach to Active Automata Learning from Neural Language Models., , , , und . ICGI, Volume 217 von Proceedings of Machine Learning Research, Seite 250-264. PMLR, (2023)Results of Neural-Checker Toolbox in Taysir 2023 Competition., , , , , , und . ICGI, Volume 217 von Proceedings of Machine Learning Research, Seite 295-298. PMLR, (2023)Property Checking with Interpretable Error Characterization for Recurrent Neural Networks., , und . Mach. Learn. Knowl. Extr., 3 (1): 205-227 (2021)Analyzing constrained LLM through PDFA-learning., , , , , , und . CoRR, (2024)TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems., , , , , , und . CAV, Volume 2102 von Lecture Notes in Computer Science, Seite 391-395. Springer, (2001)On-the-fly Black-Box Probably Approximately Correct Checking of Recurrent Neural Networks., , und . CD-MAKE, Volume 12279 von Lecture Notes in Computer Science, Seite 343-363. Springer, (2020)Formal specification and implementation of an automated pattern-based parallel-code generation framework., und . Int. J. Softw. Tools Technol. Transf., 21 (2): 183-202 (2019)TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems., , , , , , , und . CDC, Seite 2875-2880. IEEE, (2001)A methodology for analyzing the dynamics of hybrid systems., und . ECC, Seite 3874-3878. IEEE, (2001)