Sciweavers

66
Voted
ATAL
2015
Springer
9 years 11 months ago
Approximating Difference Evaluations with Local Information
Mitchell K. Colby, William J. Curran, Kagan Tumer
71
Voted
ATAL
2015
Springer
9 years 11 months ago
Symbolic Model-checking for Resource-Bounded ATL
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, F...
73
Voted
ATAL
2015
Springer
9 years 11 months ago
How Hard is Bribery in Party Based Elections?
d Abstract) Yongjie Yang Universität des Saarlandes
Yongjie Yang, Yash Raj Shrestha, Jiong Guo
73
Voted
ATAL
2015
Springer
9 years 11 months ago
A Unifying Methodology for Confronting Uncertainties in Security Games: Advances and Algorithms: (Doctoral Consortium)
Given the real-world applications of Stackelberg security games (SSGs), addressing uncertainties in these games is a major challenge. Two competitive approaches have been pursued ...
Thanh Hong Nguyen, Milind Tambe
ATAL
2015
Springer
9 years 11 months ago
Paving the way for Large-Scale Combinatorial Auctions
Francisco Cruz-Mencia, Jesús Cerquides, Ant...