4 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
Christian Hagemeier, Giuseppe de Giacomo, Moshe Y. Vardi
We study the problem of realizing strategies for an LTLf goal specification while ensuring that at least an LTLf backup specification is satisfied in case of unreliability of certa…