To content
Fakultät für Informatik
Automated Quality Assurance

Richard Stewing, M.Sc.

E-Mail
richard.stewingtu-dortmundde

Phone
(+49) 231 755-7736

Office
TU Dortmund University
Department for Computer Science
Otto-Hahn-Straße 12
44227 Dortmund
Room 2.008

Consultation Hours
By appointment

Links
ORCID
GitHub

Publications

2022

Neural network verification with DSE
Benedikt Böing, Falk Howar, Jelle Hüntelmann, Emmanuel Müller, Richard Stewing
In:  4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (Overlay 2022)
Preprint

Open Theses

Current Theses

Formal Verification of a Hydrogen Generation System by Model Checking
Master thesis
Purely Functional Data Structures
Bachelor thesis
Der Effekt von semantischen Bias in den Trainingsdaten von künstlichen neuronalen Netzen am Beispiel der Ampel-Erkennung in Carla-Simulationsdaten unter unterschiedlichen Wetterbedingungen
Bachelor thesis