Alex Wilton's repositories
ModelCheckingAlgorithms
My implementation of some model checking algorithms in C++.
parallel-path-finding
An investigation into optimizing path-finding algorithms with multiple processors.
My implementation of some model checking algorithms in C++.
An investigation into optimizing path-finding algorithms with multiple processors.