45 citations · 110 across the 26 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015★ 45 cited
Temporal Logic as Filtering
Alena Rodionova, Ezio Bartocci, Dejan Nickovic +1
We show that metric temporal logic can be viewed as linear time-invariant filtering, by interpreting addition, multiplication, and their neutral elements, over the (max,min,0,1) id…
cs.FL2015★ 1 cited
Bounded Determinization of Timed Automata with Silent Transitions
Florian Lorber, Amnon Rosenmann, Dejan Nickovic +1
Deterministic timed automata are strictly less expressive than their non-deterministic counterparts, which are again less expressive than those with silent transitions. As a conseq…