41 citations · 48 across the 2 of their papers we have counts for
1 paper · 2 filters
Stéphane Demri, David Nowak
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequenc…