Conditional dynamic partial order reduction and optimality results.

Published in: ISSTA (2019)

Keyphrases

dynamic environments
image sequences
optimal solution
real time
machine learning
information retrieval
artificial intelligence
metadata