+**********************************************************************
*
*
* Einladung
*
*
*
* Informatik-Kolloquium
*
*
*
+**********************************************************************
Zeit: Dienstag, 10. September 2024, 14.00 Uhr
Ort: Raum 9222, Gebäude E3, Ahornstr. 55
Referentin: Prof. Dr. Paula Herber
University of Münster
Title: Formal Verification of Cyber-physical Systems using Domain-specific Abstractions
Abstract:
Cyber-physical systems have become ubiquitous in our daily lives, and their complexity continually evolves to unprecedented levels. In addition to their heterogeneity and interaction with a physical environment, we see a tremendous increase in the use of learning to make autonomous decisions in dynamic environments. These developments pose significant challenges for ensuring the safety and reliability of cyber-physical systems. Formal methods have the potential to guarantee crucial safety properties under all circumstances, but are incredibly expensive and severely suffer from scalability issues. In this talk, I will summarize some of our recent efforts towards reusable specification and more scalable verification of cyber-physical systems using domain-specific abstractions.
Es laden ein: die Dozentinnen und Dozenten der Informatik