Optimal Dynamic Partial Order Reduction with Observers.

Stavros Aronis Bengt Jonsson Magnus Lång Konstantinos Sagonas

Published in: TACAS (2) (2018)

Keyphrases

model checking
partial order reduction
optimal solution
information retrieval
data structure
database
data sets
real world
feature selection
case study
expert systems
dynamic programming
dynamic environments
optimal design