LTLf Synthesis with Fairness and Stability Assumptions

Shufang Zhu, Giuseppe De Giacomo, Geguang Pu +1

In synthesis, assumptions are constraints on the environment that rule out certain environment behaviors. A key observation here is that even if we consider systems with LTLf goals…