( en | de | ru )

 

Disambiguierung von "Schlüter, Maximilian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Methods Meet Machine Learning (F3ML).

, , , , , und . ISoLA (3), Volume 13703 von Lecture Notes in Computer Science, Seite 393-405. Springer, (2022)

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.

Steffen Schlüter

Florian Schlüter

Oliver Schlüter

Gerlinde Schlüter

Joseph Schlüter

 

Weitere Publikationen von Autoren mit dem selben Namen

Introduction to Symbolic Execution of Neural Networks - Towards Faithful and Explainable Surrogate Models., und . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2022)Formal Methods Meet Machine Learning (F3ML)., , , , , und . ISoLA (3), Volume 13703 von Lecture Notes in Computer Science, Seite 393-405. Springer, (2022)Characteristic invariants in Hennessy-Milner logic., , und . Acta Informatica, 57 (3-5): 671-687 (2020)Forest GUMP: a tool for verification and explanation., , , , und . Int. J. Softw. Tools Technol. Transf., 25 (3): 287-299 (Juni 2023)Towards Rigorous Understanding of Neural Networks via Semantics-preserving Transformations., , , und . CoRR, (2023)Revisiting the Performance-Explainability Trade-Off in Explainable Artificial Intelligence (XAI)., , und . REW, Seite 316-324. IEEE, (2023)The Power of Typed Affine Decision Structures: A Case Study., , , und . CoRR, (2023)Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees., , , und . ISoLA (4), Volume 12479 von Lecture Notes in Computer Science, Seite 242-263. Springer, (2020)RERS 2019: Combining Synthesis with Real-World Models., , , , , , , , , und 1 andere Autor(en). TACAS (3), Volume 11429 von Lecture Notes in Computer Science, Seite 101-115. Springer, (2019)