( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Learning minimal automata with recurrent neural networks.

, , , , и . Softw. Syst. Model., 23 (3): 625-655 (июня 2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Martin Faes

Analyse der mehrskaligen Transportmechanismen beim laminaren Mischen mittels laseroptischer und numerischer Methoden. Uni Hannover, (2009)

Martin Brückner

Vergleichende Untersuchungen zur Inzidenz apoptotischer und proliferativer Veränderungen kultivierter, humaner Knochenzellen von Ober- und Unterkiefer auf maschinenbearbeitetem, reinem Titan über 25 Tage. Uni Leipzig, (2009)

Martin Breitenfeldt

Mass measurements on short-lived Cd and Ag nuclides at the online mass spectrometer ISOLTRAP. Uni Greifswald, (2009)

Martin Klug

The late Quaternary environmental and climatic history of North-East Greenland, inferred from coastal lakes. Uni Köln, (2009)

Martin Nickel

Einsatz von Rollenspielen und standardisierten Eltern zur Schulung kommunikativer Kompetenzen von Medizinstudenten in Anamnese- und Beratungsgesprächen mit Eltern kranker Kinder: eine quantitative und qualitative Analyse im Kontrollgruppendesign. Uni Heidelberg, (2009)
 

Другие публикации лиц с тем же именем

Automata Learning Meets Shielding., , , , , и . ISoLA (1), том 13701 из Lecture Notes in Computer Science, стр. 335-359. Springer, (2022)Automata Learning for Symbolic Execution., , , , и . FMCAD, стр. 1-9. IEEE, (2018)Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data., , , и . ICSE, стр. 6:1-6:13. ACM, (2024)Probabilistic black-box reachability checking (extended version)., и . Formal Methods Syst. Des., 54 (3): 416-448 (2019)Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking., , и . Theory and Practice of Formal Methods, том 9660 из Lecture Notes in Computer Science, стр. 15-32. Springer, (2016)Adaptive Shielding under Uncertainty., , , , , и . ACC, стр. 3467-3474. IEEE, (2021)Learning minimal automata with recurrent neural networks., , , , и . Softw. Syst. Model., 23 (3): 625-655 (июня 2024)Online Shielding for Stochastic Systems., , , , и . CoRR, (2020)Model-Based Testing IoT Communication via Active Automata Learning., , и . CoRR, (2019)Reinforcement Learning Under Partial Observability Guided by Learned Environment Models., , , и . iFM, том 14300 из Lecture Notes in Computer Science, стр. 257-276. Springer, (2023)