31 citations · 242 across the 55 of their papers we have counts for
5 papers · 1 filter
Multiplayer Cost Games with Simple Nash Equilibria
Thomas Brihaye, Julie De Pril, Sven Schewe
Multiplayer games with selfish agents naturally occur in the design of distributed and embedded systems. As the goals of selfish agents are usually neither equivalent nor antagonis…
Rapid Recovery for Systems with Scarce Faults
Chung-Hao Huang, Doron Peled, Sven Schewe +1
Our goal is to achieve a high degree of fault tolerance through the control of a safety critical systems. This reduces to solving a game between a malicious environment that inject…
Proceedings First Workshop on Synthesis
Doron Peled, Sven Schewe
This volume contains the proceedings of the First Workshop on Synthesis (SYNT 2012). The workshop is held is held in Berkeley, California, on June 6th and 7th, as a satellite event…
Bounded Satisfiability for PCTL
Nathalie Bertrand, John Fearnley, Sven Schewe
While model checking PCTL for Markov chains is decidable in polynomial-time, the decidability of PCTL satisfiability, as well as its finite model property, are long standing open p…
Synthesis of Succinct Systems
John Fearnley, Doron Peled, Sven Schewe
Synthesis of correct by design systems from specification has recently attracted much attention. The theoretical results imply that this problem is highly intractable, e.g., synthe…