2 Commits (5299ed5172004fc582d28464b2d52a85971f4c5b)

Author SHA1 Message Date
PBerger c0a7e42486 Implemented a basic but complete kernel for value iteration in CUDA. 12 years ago
PBerger d5828043de Added first signs of the CUDA Extension for Storm. 12 years ago