Changing branches
Implemented SMDP Q Lambda - need to check formula