MCG: Seminars

• Stochastic Model Checking - G. Zycinsky

• Model Checking for Biological Systems - G. Chiusano

• Verifying Lossy Channel Systems - F. Cavalieri

• On the Power of Imperfect Information - A. Stagliano'

• Solving Parity Games by a Reduction to SAT - L. Zini

• Memoryless determinacy of parity and mean payoff games: a simple proof - G. Fusco

• Concurrent Reachability Games - S. Masecchia