Reachability in Multithreaded Programs Is Polynomial in the Number of Threads.

Alexander Malkis

Published in: PDCAT (2019)

Keyphrases

small number
multi agent
fixed number
neural network
computational complexity
state space
maximum number
computer programs