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