102 citations · 263 across the 81 of their papers we have counts for
1 paper · 2 filters
Cristian-Ioan Vasile, Derya Aksaray, Calin Belta
This paper introduces time window temporal logic (TWTL), a rich expressivity language for describing various time bounded specifications. In particular, the syntax and semantics of…