Forward contracts are one of the prevalent and useful tools for managing the risks associated with the volatility of the electricity market prices. Forward contracts and day-ahead electricity market are executed simulta- ...

introduce an algorithm whose input is a game in the form of process

algebra (proposed in this paper) and as an output, the algorithm finds the Nash equilibrium of the game in linear space complexity....