Alert button
Picture for Jessica Davies

Jessica Davies

Alert button

A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs

Nov 26, 2015
Krishnendu Chatterjee, Martin Chmelik, Jessica Davies

Figure 1 for A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs
Figure 2 for A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs
Figure 3 for A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs
Figure 4 for A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs
Viaarxiv icon

Eliminating the Weakest Link: Making Manipulation Intractable?

Apr 17, 2012
Jessica Davies, Nina Narodytska, Toby Walsh

Figure 1 for Eliminating the Weakest Link: Making Manipulation Intractable?
Viaarxiv icon

Complexity of and Algorithms for Borda Manipulation

May 27, 2011
Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh

Figure 1 for Complexity of and Algorithms for Borda Manipulation
Figure 2 for Complexity of and Algorithms for Borda Manipulation
Figure 3 for Complexity of and Algorithms for Borda Manipulation
Viaarxiv icon

An Empirical Study of Borda Manipulation

Jul 29, 2010
Jessica Davies, George Katsirelos, Nina Narodystka, Toby Walsh

Figure 1 for An Empirical Study of Borda Manipulation
Figure 2 for An Empirical Study of Borda Manipulation
Figure 3 for An Empirical Study of Borda Manipulation
Figure 4 for An Empirical Study of Borda Manipulation
Viaarxiv icon