Almagor, Shaull

2 publications

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

AAAI 2015 This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction Morteza Lahijanian, Shaull Almagor, Dror Fried, Lydia E. Kavraki, Moshe Y. Vardi