h1

h2

h3

h4

h5
h6

GRK 2236

GRK 2236 Unsicherheit und Randomisierung in Algorithmen, Verifikation und Logik.

CoordinatorProfessor Dr.-Ing. Joost-Pieter Katoen ; Professorin Dr. Christina Büsing ; Professor Dr. Jürgen Giesl ; Professor Dr. Martin Grohe ; Professor Dr. Erich Grädel ; Professor Gerhard Lakemeyer Ph.D. ; Privatdozent Dr. Christof Löding ; Professorin Dr.-Ing. Ulrike Meyer ; Professor Dr. Christopher Morris ; Professor Dr.-Ing. Nils Nießen ; Professorin Dr. Britta Peis ; Professor Dr. Michael Schaub ; Professor Dr. Pascal Schweitzer ; Professor Dr. Sebastian Trimpe ; Professor Dr.-Ing. Gerhard Woeginger ; Professorin Dr. Erika Ábrahám
Grant period2017 - 2026
Funding bodyDeutsche Forschungsgemeinschaft
 DFG
IdentifierG:(GEPRIS)282652900

Note: Unsicherheit wird in der Informatik immer allgegenwärtiger. Sie ist für Big Data ebenso relevant wie auf der Ebene von Ereignissen und Steuerung. Algorithmen und Softwareanwendungen verarbeiten große Datenmengen aus oftmals unzuverlässigen Quellen wie verrauschten Sensoren oder nicht vertrauenswürdigen Webseiten. Daten können außerdem kontinuierlichen Veränderungen unterworfen sein, in unterschiedlichen Formaten vorliegen und sind zudem häufig unvollständig. Roboter, Züge und Produktionsmaschinen müssen mit unvorhersehbaren Ereignissen umgehen können. Der zunehmende Einsatz von auf maschinellem Lernen basierenden Komponenten — oftmals mit sehr schwachen theoretischen Garantien — bildet einen zusätzlichen Unsicherheitsfaktor. Probabilistische Modellierung und Randomisierung sind Schlüsseltechniken im Umgang mit solcher Unsicherheit, wie eine Reihe von Trends in verschiedenen Themenbereichen zeigt. Die probabilistische Programmierung übertrifft die Möglichkeiten probabilistischer grafischer Modelle und automatisiert statistische Inferenz. Probabilistische Datenbanken ermöglichen den Umgang mit Ungewissheit in Daten. In der Systemverifikation hat sich das probabilistische Model Checking als Schlüsseltechnik zur Korrektheitsprüfung und Leistungsanalyse etabliert. Ähnliche Entwicklungen zeichnen sich in der Logik und Spieltheorie ab. Diese weite Verbreitung von Unsicherheit verlangt nach wesentlichen Fortschritten in der probabilistischen Modellierung, um mit Unsicherheit behaftete Probleme besser zu durchdringen, zu durchdenken und letztlich beherrschen zu können. Das Ziel des GKs UNRAVEL war und ist es zum einen, durch Fortschritte der Theorie in verschiedenen Feldern (Algorithmen, Logik, Verifikation) und deren Verknüpfung mit Ungewissheit und Zufallsprozessen besser umgehen zu lernen und zum anderen, diese Erkenntnisse entsprechend den Anforderungen in Anwendungsgebieten im Bereich des Eisenbahnwesens, zur Analyse dynamischer Prozesse auf Netzwerken sowie für sogenannte cyber-phyische Systeme gewinnbringend einzusetzen. Dieser Herausforderung stellen wir uns mit einer einzigartigen Mischung von WissenschaftlerInnen aus theoretischer und angewandter Informatik, Betriebswirtschaftslehre, Ingenieurswesen und Eisenbahnwesen. Das Ziel des Qualifikations- und Betreuungskonzepts des GKs ist es, eine optimale Forschungsumgebung für die Stipendiaten zu schaffen. Die StipendiatInnnen werden von je zwei Betreuer:innen angeleitet. Die Rechte und Pflichten der BetreuerIn und Stipendiat: innen werden in einer Betreuungsvereinbarung festgehalten. Das Curriculum besteht aus zweiwöchentlichen Forschungsseminaren, Sozialkompentenzkursen, Lesekreisen, Workshops (zweimal pro Jahr), einer Sommerschule im ersten Doktorandenjahr sowie verschiedenen (neuen) Vorlesungen zu fortgeschrittenen Themen.
   

Recent Publications

All known publications ...
Download: BibTeX | EndNote XML,  Text | RIS | 

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article  ;  ;  ;
Optimising capacity of railway lines under ETCS Level 2 by implementing densified block sections in station areas
Journal of Rail Transport Planning & Management 40, 100612 () [10.1016/j.jrtpm.2026.100612]  GO OpenAccess  Download fulltext Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Dissertation / PhD Thesis  ;  ;
Queueing-based methods for timetable-independent performance analysis of railway nodes
Aachen : RWTH Aachen University 1 Online-Ressource : Illustrationen () [10.18154/RWTH-2026-06828] = Dissertation, Rheinisch-Westfälische Technische Hochschule Aachen, 2026  GO OpenAccess  Download fulltext Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Dissertation / PhD Thesis  ;  ;  ;
Computational complexity of graph orientation, bilevel and robust optimization problems
Aachen : RWTH Aachen University 1 Online-Ressource : Illustrationen () [10.18154/RWTH-2026-06238] = Dissertation, RWTH Aachen University, 2026  GO OpenAccess  Download fulltext Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article  ;
Approximation von Bediensystemen zur Leistungsfähigkeitsbestimmung von Eisenbahninfrastruktur in Bahnhöfen
Eisenbahntechnische Rundschau : ETR 75(5), 44-47 () [10.61067/260533]  GO OpenAccess  Download fulltext Files  Download fulltextHomepage of publisher BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article  ;
Extensions of the Cylindrical Algebraic Covering Method for Quantifiers
Mathematics in computer science 20(1), 7 () [10.1007/s11786-025-00623-3]  GO OpenAccess  Download fulltext Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Preprint  ;  ;  ;  ;  ;
Fine-Tuning of Neural Network Approximate MPC without Retraining via Bayesian Optimization
15 Seiten () [10.48550/arXiv.2512.14350]  GO OpenAccess   Download fulltextFulltext by arXiv.org BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Preprint  ;
BayeSQP: Bayesian Optimization through Sequential Quadratic Programming
39. Neural Information Processing Systems, NeurIPS 2025, San Diego, CASan Diego, CA, USA, 1 Dec 2025 - 1 Dec 20252025-12-012025-12-01 21 Seiten () [10.48550/arXiv.2602.03232]  GO OpenAccess  Download fulltext Files  Download fulltextFulltext by arXiv.org BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings  ;
Weighted Automata for Exact Inference in Discrete Probabilistic Programs
Theoretical Aspects of Computing – ICTAC 2025 : 22nd International Colloquium, Marrakech, Morocco, November 24–28, 2025, Proceedings / edited by Zhiming Liu, Adnane Saoud, Heike Wehrheim
22. International Colloquium on Theoretical Aspects of Computing, ICTAC 2025, MarrakechMarrakech, Morocco, 24 Nov 2025 - 28 Nov 20252025-11-242025-11-28 Cham : Springer Nature Switzerland, Lecture Notes in Computer Science 16237, 261-278 () [10.1007/978-3-032-11176-0_16]  GO BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article  ;  ;  ;  ;  ;
Robust Capacity Expansion Modelling for Renewable Energy Systems
iScience 29(3), 114929 () [10.1016/j.isci.2026.114929]  GO DBCoverage  Download fulltext Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a conference proceedings  ;
Approximation von Bediensystemen zur Leistungsfähigkeitsbestimmung von Eisenbahninfrastruktur in Bahnhöfen
IRSA 2025 : Tagungsband/proceedings: Aachen, Germany 19-20 November 2025 / Herausgeber/editors: Univ.-Prof. Dr.-Ing. Nießen, Nils; Univ.-Prof. Dr.-Ing. Schindler, Christian; DVV Media Group GmbH
5. International Railway Symposium Aachen 2025, IRSA 25, AachenAachen, Germany, 19 Nov 2025 - 20 Nov 20252025-11-192025-11-20 Aachen : RWTH Aachen University 44-64 () [10.18154/RWTH-2026-01128]  GO OpenAccess  Download fulltext Files BibTeX | EndNote: XML, Text | RIS

All known publications ...
Download: BibTeX | EndNote XML,  Text | RIS | 

 Record created 2021-06-25, last modified 2026-10-08
Similar records



Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)