11 citations · 37 across the 13 of their papers we have counts for
4 papers · 1 filter
Incentives for Truthful Peer Grading
Luca de Alfaro, Michael Shavlovsky, Vassilis Polychronopoulos
Peer grading systems work well only if users have incentives to grade truthfully. An example of non-truthful grading, that we observed in classrooms, consists in students assigning…
Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-run Average Objectives
Krishnendu Chatterjee, Luca de Alfaro, Pritam Roy
Turn-based stochastic games and its important subclass Markov decision processes (MDPs) provide models for systems with both probabilistic and nondeterministic behaviors. We consid…
Termination Criteria for Solving Concurrent Safety and Reachability Games
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
We consider concurrent games played on graphs. At every round of a game, each player simultaneously and independently selects a move; the moves jointly determine the transition to…
Strategy Improvement for Concurrent Safety Games
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
We consider concurrent games played on graphs. At every round of the game, each player simultaneously and independently selects a move; the moves jointly determine the transition t…