Verifying the Smallest Interesting Colour Code with Quantomatic.

Liam Garvie Ross Duncan

Published in: QPL (2017)

Keyphrases

source code
model checking
database
data sets
neural network
artificial intelligence
bayesian networks
mobile robot
object oriented
closely related
mathematical morphology
interesting patterns
colour images
colour space