Monitoring of Robust LTL

2^nd April 2019, 11:00
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