( en | de | ru )

 

Disambiguierung von "Leucker, Martin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.

, , , , , , , , , und . ATVA, Volume 12971 von Lecture Notes in Computer Science, Seite 364-380. Springer, (2021)

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.

Martin Leucker

Thorsten Martin Leucker

Roland Leucker

Hermann Josef Leucker

Jean-Joseph Leucker

 

Weitere Publikationen von Autoren mit dem selben Namen

A Survey of Model Learning Techniques for Recurrent Neural Networks., , und . A Journey from Process Algebra via Timed Automata to Model Learning, Volume 13560 von Lecture Notes in Computer Science, Seite 81-97. Springer, (2022)Anticipatory Recurrent Monitoring with Uncertainty and Assumptions., , , und . RV, Volume 13498 von Lecture Notes in Computer Science, Seite 181-199. Springer, (2022)Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes., , , und . TASE, Volume 13299 von Lecture Notes in Computer Science, Seite 197-204. Springer, (2022)TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems., , , und . ICTAC, Volume 14446 von Lecture Notes in Computer Science, Seite 388-398. Springer, (2023)A Comparative Analysis of Multi-agent Simulation Platforms for Energy and Mobility Management., , , , und . EUMAS, Volume 14282 von Lecture Notes in Computer Science, Seite 295-311. Springer, (2023)Lightweight Verification 2008., und . GI Jahrestagung (2), Volume P-134 von LNI, Seite 965-966. GI, (2008)Parallel Model Checking for the Alternation Free µ-Calculus., , und . TACAS, Volume 2031 von Lecture Notes in Computer Science, Seite 543-558. Springer, (2001)Local Parallel Model Checking for the Alternation-Free µ-Calculus., , und . SPIN, Volume 2318 von Lecture Notes in Computer Science, Seite 128-147. Springer, (2002)Runtime Verification of Timed Petri Nets., , , , , , und . PNSE@Petri Nets, Volume 3730 von CEUR Workshop Proceedings, Seite 122-131. CEUR-WS.org, (2024)Real-time MTL with durations as SMT with applications to schedulability analysis., , , und . TASE, Seite 49-56. IEEE, (2020)