Periodic Reporting for period 2 - ForM-SMArt (Formal Methods for Stochastic Models: Algorithms and Applications)

• The problem considered in this project is to develop faster algorithmic approaches for formal analysis of stochastic systems.• Stochastic systems arise in several practical applications, e.g., randomized algorithms, evolutionary dynamics, design of stochastic protocols...