LTLƒ Synthesis with Fairness and Stability Assumptions.

Shufang Zhu Giuseppe De Giacomo Geguang Pu Moshe Y. Vardi

Published in: AAAI (2020)

Keyphrases

temporal logic
model checking
bounded model checking
stability analysis
texture synthesis
real time
resource allocation
game theory
simplifying assumptions
linear temporal logic
deterministic automata
linear time temporal logic
fair exchange
electronic commerce
search space
image sequences
genetic algorithm