Georg Nührenberg - Bücher - alle Infos bei Yasni.de

(1 - 5 von 5

)

Georg Nührenberg | Papers With Codepaperswithcode.com › author › ge...

paperswithcode.com

Papers published by Georg Nührenberg with links to code and results Georg Nührenberg. Machine Learning Researcher. 1. papers with code. 6. papers. 0.

Formal Verification of Tree Ensembles in Safety-Critical Applications...

books.google.es

12317– [5] Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, and Harald Ruess. “Verification of Binarized Neural Networks via Inter-neuron ...

Verified Software. Theories, Tools, and Experiments: 10th...

books.google.es

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and...

Integrated Timetabling and Rolling Stock Scheduling - Georg...

books.google.de

Integrated Timetabling and Rolling Stock Scheduling. Front Cover. Georg Nührenberg Reviews. What people are saying - Write a review. We haven't ...

Automated Technology for Verification and Analysis: 15th...

books.google.es

This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in...

Verwandte Suchanfragen zu Georg Nührenberg

Harald Ruess

Personen
Vorname "Georg" (36045)
Name "Nührenberg" (5)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Bücher Georg Nührenberg

Georg Nührenberg | Papers With Codepaperswithcode.com › author › ge...

Formal Verification of Tree Ensembles in Safety-Critical Applications...

Verified Software. Theories, Tools, and Experiments: 10th...

Integrated Timetabling and Rolling Stock Scheduling - Georg...

Automated Technology for Verification and Analysis: 15th...