3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.LO2013★ 3 cited
Some approximations in Model Checking and Testing
M. C. Gaudel, R. Lassaigne, F. Magniez +1
Model checking and testing are two areas with a similar goal: to verify that a system satisfies a property. They start with different hypothesis on the systems and develop many tec…
cs.GT2011
The complexity of approximate Nash equilibrium in congestion games with negative delays
Frederic Magniez, Michel de Rougemont, Miklos Santha +1
We extend the study of the complexity of finding an $\eps$-approximate Nash equilibrium in congestion games from the case of positive delay functions to delays of arbitrary sign. W…