{"id":2,"date":"2025-04-21T13:07:53","date_gmt":"2025-04-21T11:07:53","guid":{"rendered":"https:\/\/rvmeetsmdb2025.digital-hub.sh\/?page_id=2"},"modified":"2025-09-03T16:26:17","modified_gmt":"2025-09-03T14:26:17","slug":"beispiel-seite","status":"publish","type":"page","link":"https:\/\/rvmeetsmdb2025.digital-hub.sh\/","title":{"rendered":"Runtime Verification meets Diagnosis (RVmeetsMBD)"},"content":{"rendered":"\n
\"\"<\/figure>\n\n\n\n

Workshop at RV 2025<\/a> Conference<\/h2>\n\n\n\n

Monday, September 15, 2025<\/h3>\n\n\n\n

Graz (Austria)<\/h3>\n\n\n\n

Model-Based Diagnosis (MBD) focuses on identifying the root causes of system failures when deviations from expected behavior occur. Going beyond the detection of incorrect behavior, MBD extends and complements Runtime Verification (RV) through techniques for localizing faults and determining their possible nature.<\/p>\n\n\n\n

This workshop investigates the challenges and open research questions at the intersection of RV and MBD. The topics include formal models, theoretical foundations, and computational approaches specifically designed for integrated RV and diagnosis tasks, covering logic-based, temporal, discrete-event, qualitative, continuous, hybrid, and probabilistic methods. The workshop will also highlight applications in areas such as resilient cyber-physical systems, digital twins, and explainable AI.<\/p>\n\n\n\n

Call for Presentations<\/h2>\n\n\n\n

We invite presentations describing ongoing research, recent results, or overviews of prior work within the workshop\u2019s scope. See the call for presentations<\/a> for details.<\/p>\n\n\n\n

All workshop participants will be required to register for the workshop through the RV 2025<\/a> main registration page.<\/p>\n\n\n\n

Dates<\/h2>\n\n\n\n