Sign in

Synthesizing Good-Enough Strategies for LTLf Specifications.

Yong LiAndrea TurriniMoshe Y. VardiLijun Zhang
Published in: IJCAI (2021)
Keyphrases
  • evolutionary algorithm
  • high level
  • database
  • information retrieval
  • artificial intelligence
  • computer vision
  • optimization strategies
  • delay insensitive