Demonstration Informed Specification Search.

Marcell Vazquez-Chanlatte Ameesh Shah Gil Lederman Sanjit A. Seshia

Published in: CoRR (2021)

Keyphrases

search algorithm
search space
search strategy
search strategies
search efficiency
real world
search queries
visual search
search tools
data sets
neural network
information systems
case study
multi agent
evolutionary algorithm
semantic search