( en | de | ru )

 

Disambiguierung von "Henry, Léo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Conflict-Aware Active Automata Learning.

, , , und . GandALF, Volume 390 von EPTCS, Seite 150-167. (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.

Michaela Karin Ingrid Henry

Madeleine Mary Henry

James Henry

David P Henry

Marie-Louise Henry

 

Weitere Publikationen von Autoren mit dem selben Namen

Control Strategies for Off-Line Testing of Timed Systems., , und . SPIN, Volume 10869 von Lecture Notes in Computer Science, Seite 171-189. Springer, (2018)Reinforcement Planning for Effective ε-Optimal Policies in Dense Time with Discontinuities., , und . FSTTCS, Volume 284 von LIPIcs, Seite 13:1-13:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)There and back again : formal methods and model learning for real-time systems. (Histoire d'un aller et retour : méthodes formelles et apprentissage de modèles pour les systèmes en temps réel).. University of Rennes 1, France, (2021)Active Learning of Timed Automata with Unobservable Resets., , und . FORMATS, Volume 12288 von Lecture Notes in Computer Science, Seite 144-160. Springer, (2020)Conflict-Aware Active Automata Learning., , , und . GandALF, Volume 390 von EPTCS, Seite 150-167. (2023)Issues concerning charged device model ESD verification modules - the need to move to alumina., , , und . Microelectron. Reliab., 41 (3): 407-415 (2001)