56 citations · 57 across the 8 of their papers we have counts for
1 paper · 1 filter
S Akshay, Paul Gastin, R Govind +2
In this paper, we consider a model of generalized timed automata (GTA) with two kinds of clocks, history and future, that can express many timed features succinctly, including time…