On Strategies in Synthesis Over Finite Traces.

Suguman Bansal Yong Li Lucas Martinelli Tabajara Moshe Y. Vardi Andrew M. Wells

Published in: CoRR (2023)

Keyphrases

finite number
databases
program synthesis
information systems
artificial intelligence
decision making
digital libraries
search strategies
optimal strategy