Constrained Dynamic Partial Order Reduction.

Elvira Albert Miguel Gómez-Zamalloa Miguel Isabel Albert Rubio

Published in: CAV (2) (2018)

Keyphrases

dynamic environments
dynamically changing
multiscale
real time
databases
information retrieval
computer vision
information systems
decision making
e learning
pairwise
control system