13 citations · 35 across the 16 of their papers we have counts for
1 paper · 1 filter
Franck Cassez, Alban Grastien
We address the problem of predicting events' occurrences in partially observable timed systems modelled by timed automata. Our contribution is many-fold: 1) we give a definition of…