Liquid democracy has a natural graphical representation, the delegation graph. Consequently, strategic aspects of liquid can be studied as game over graphs, called game. Our main result is that this bicriteria approximation guarantees, in terms both rationality and social welfare. Specifically, we prove price stability for \(\epsilon \)-Nash equilibria exactly \)

When dividing a “manna” ? of private items (commodities, workloads, land, time slots) between n agents, the individual guarantee is welfare each agent can secure in worst case other agents’ preferences and actions. If manna nonatomic utilities are continuous (not necessarily monotone or convex) minmax utility, that our agent’s best share partition manna, guaranteed by Kuhn’s generalization divi...

Neural networks serve as effective controllers in a variety of complex settings due to their ability represent expressive policies. The nature neural networks, however, makes output difficult verify and predict, which limits use safety-critical applications. While simulations provide insight into the performance network controllers, they are not enough guarantee that controller will perform saf...