Login / Signup
Synthesizing Good-Enough Strategies for LTLf Specifications.
Yong Li
Andrea Turrini
Moshe Y. Vardi
Lijun Zhang
Published in:
IJCAI (2021)
Keyphrases
</>
evolutionary algorithm
high level
database
information retrieval
artificial intelligence
computer vision
optimization strategies
delay insensitive