Kupferman, Orna

3 publications

IJCAI 2019 Reasoning About Quality and Fuzziness of Strategic Behaviours Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli

IJCAI 2018 Synthesis of Controllable Nash Equilibria in Quantitative Objective Game Shaull Almagor, Orna Kupferman, Giuseppe Perelli

IJCAI 2017 An Abstraction-Refinement Methodology for Reasoning About Network Games Guy Avni, Shibashis Guha, Orna Kupferman