Vom 15. bis 19. September 2025 findet in Graz die 25. International Conference on Runtime Verification (RV25) statt. Als einer von vier geladenen Hauptrednern wird Prof. Dr. Nils Jansen dort eine Keynote mit dem Titel „Neurosymbolic Learning Systems: Artificial Intelligence and Formal Methods“ halten.

Die international Fachkonferenz beschäftigt sich mit Schlüsselthemen rund um die Korrektheit, Sicherheit, Zuverlässigkeit und Robustheit von Systemen, insbesondere dort, wo klassische Tests an ihre Grenzen stoßen.

Der zunehmende Einsatz von Künstlicher Intelligenz (KI) in sicherheitskritischen Bereichen, wie beispielsweise dem Gesundheitswesen, dem Transportwesen oder dem Militär unterstreicht die dringende Notwendigkeit eines umfassenden Verständnisses der Robustheit des Entscheidungsprozesses einer KI. In seiner Keynote stellt Nils Jansen vor, wie neurosymbolische KI, die Kombination von neuronalen und symbolischen KI-Techniken, zur Entwicklung sicherer und robuster KI-Systeme beiträgt. Ein besonderer Fokus liegt dabei auf der Implementierung von Reinforcement Learning und den damit einhergehenden Herausforderungen, wie beispielsweise dem Umgang mit Unsicherheiten beim Einsatz von zustandsbasierten Techniken. Jansen zeigt, wie sich mithilfe von Markow-Entscheidungsprozessen, stochastischen Spielen oder Multi-Environment-Modellen verschiedene Arten von Unsicherheiten modellieren und analysieren lassen, um robuste und zuverlässige Lernsysteme zu ermöglichen.