C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Optimal Bounded Partial Order Reduction.
Iason Marmanis
Viktor Vafeiadis
Published in:
FMCAD (2023)
Keyphrases
</>
partial order reduction
model checking
data structure
artificial intelligence
dynamic programming
petri net
optimal design
asymptotically optimal