25 citations · 33 across the 4 of their papers we have counts for
1 paper · 1 filter
Georgiana Caltais, Sophie Linnea Guetlein, Stefan Leue
In this paper we provide a notion of causality for the violation of general Linear Temporal Logic (LTL) properties. The current work is a natural extension of the previously propos…