Probabilistic Checking Against Non-Signaling Strategies from Linearity Testing.

Alessandro Chiesa Peter Manohar Igor Shinkar

Published in: ITCS (2019)

Keyphrases

bayesian networks
probabilistic model
search strategies
uncertain data
software testing
probabilistic logic
data structure
multi agent systems
wireless sensor networks
test cases
optimal strategy
test suite
probabilistic networks
probabilistic approaches