32 citations · 172 across the 29 of their papers we have counts for
1 paper · 1 filter
Veronique Bruyere, Jean-Francois Raskin
In this paper, we study the model-checking and parameter synthesis problems of the logic TCTL over discrete-timed automata where parameters are allowed both in the model (timed aut…