Asynchronous wreath product and cascade decompositions for concurrent behaviours.

Bharat Adsul Paul Gastin Saptarshi Sarkar Pascal Weil

Published in: CoRR (2021)

Keyphrases

artificial intelligence
search algorithm
mutual exclusion
computer vision
decision trees
multiscale
integrity constraints
product information