8 citations · 8 across the 1 of their papers we have counts for
1 paper
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…