21 citations · 116 across the 38 of their papers we have counts for
1 paper · 1 filter
Juha Kontinen, Max Sandström, Jonni Virtema
Linear temporal logic (LTL) is used in system verification to write formal specifications for reactive systems. However, some relevant properties, e.g. non-inference in information…