98 citations · 647 across the 44 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
eess.SY2016★ 41 cited
Distributed Inertial Best-Response Dynamics
Brian Swenson, Ceyhun Eksin, Soummya Kar +1
The note considers the problem of computing pure Nash equilibrium (NE) strategies in distributed (i.e., network-based) settings. The paper studies a class of inertial best response…
cs.LO2016★ 98 cited
A Complete Uniform Substitution Calculus for Differential Dynamic Logic
André Platzer
This article introduces a relatively complete proof calculus for differential dynamic logic (dL) that is entirely based on uniform substitution, a proof rule that substitutes a for…