Generalizing LTL Instructions via Future Dependent Options.

Duo Xu Faramarz Fekri

Published in: CoRR (2022)

Keyphrases

long term
databases
data mining
computer vision
information systems
description logics
domain specific
temporal logic