Ehsan Kafshdar Goharshady

A new method automates analysis of probabilistic program outputs.

Explore the new strategies in bidding games enhanced by charging mechanisms.

A look into the world of quantified formulas and their satisfiability.