Login / Signup
Value-centric Dynamic Partial Order Reduction.
Krishnendu Chatterjee
Andreas Pavlogiannis
Viktor Toman
Published in:
CoRR (2019)
Keyphrases
</>
model checking
partial order reduction
real time
machine learning
special case
dynamic environments
neural network
information retrieval
preprocessing
artificial neural networks
dynamically changing