Verification Series

Monitoring of Robust LTL

2nd April 2019, 11:00 add to calender
Martin Zimmermann

Abstract

I will present a question arising from monitoring of Robust LTL, an extension of LTL due to Tabuada and Neider which captures a notion of robustness
add to calender (including abstract)