Open and Branching Behavioral Synthesis with Scenario Clauses.

Fernando Asteasuain Federico Calonge Manuel Dubinsky Pablo Gamboa

Published in: CLEI Electron. J. (2021)

Keyphrases

first order logic
search space
human behavior
branch and bound
open systems
background knowledge
texture synthesis
horn clauses
program synthesis
real time
neural network
decision trees
search algorithm
lower bound
orders of magnitude
constraint satisfaction