Backward coverability with pruning for lossy channel systems.

Thomas Geffroy Jérôme Leroux Grégoire Sutre

Published in: SPIN (2017)

Keyphrases

management system
search space
learning systems
real time
distributed systems
data sets
expert systems
computer simulation
complex systems
data compression
pruning method