LTLf Synthesis Under Unreliable Input

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…