Synthesis from Satisficing and Temporal Goals.

Suguman Bansal Lydia E. Kavraki Moshe Y. Vardi Andrew M. Wells

Published in: CoRR (2022)

Keyphrases

spatial and temporal
spatio temporal
temporal information
temporal data
program synthesis
temporal constraints
temporal consistency
temporal dimension
temporal relations
temporal patterns
optimal planning
temporal aspects
temporal databases
information retrieval
domain specific
learning environment
knowledge base