v0.3.0

IntervalMDP v0.3.0

Diff since v0.2.1

Merged pull requests:

• Control synthesis on CUDA (#37) (@Zinoex)
• Remove intermediate probability (#39) (@Zinoex)
• Dense CUDA transition probability matrices (#41) (@Zinoex)

Closed issues:

• O-maximization for dense CUDA matrices (#10)
• Automatically adapt CUDA kernel launch configuration (#16)
• Analyze CUDA performance trace for small arrays (#18)
• Analyze if more threads for probability assignment on CUDA is more efficient (#20)
• Control synthesis (#25)