LTLf Synthesis with Fairness and Stability Assumptions.

Shufang Zhu Giuseppe De Giacomo Geguang Pu Moshe Y. Vardi

Published in: CoRR (2019)

Keyphrases

program synthesis
stability analysis
artificial intelligence
decision trees
resource allocation
game theory
texture synthesis
simplifying assumptions
databases
genetic algorithm
lower bound