18 citations · 68 across the 14 of their papers we have counts for
1 paper · 1 filter
Alessandro Cimatti, Luca Geatti, Nicola Gigante +2
Linear Temporal Logic (LTL) is one of the most popular temporal logics, that comes into play in a variety of branches of computer science. Among the various reasons of its widespre…