Unblocking Dynamic Partial Order Reduction.

Michalis Kokologiannakis Iason Marmanis Viktor Vafeiadis

Published in: CAV (1) (2023)

Keyphrases

partial order reduction
model checking
petri net
dynamic environments
dynamically changing
objective function
dynamically updated
end users
spatio temporal
cooperative
real time
multiscale
bayesian networks
database systems
web services
image processing
knowledge base
computer vision
data sets