5 citations · 6 across the 4 of their papers we have counts for
1 paper · 1 filter
Chao Gao, Dimitri Lefebvre, Carla Seatzu +2
In this paper, we consider partially observable timed automata endowed with a single clock. A time interval is associated with each transition specifying at which clock values it m…