52 citations · 60 across the 27 of their papers we have counts for
1 paper · 1 filter
Hyejin Han, Mohamed Maghenem, Ricardo G. Sanfelice
In this paper, we propose sufficient conditions to guarantee that a linear temporal logic (LTL) formula of the form p Until q, denoted by pUq, is satisfied for a hybr…