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