Zobrazeno 1 - 10
of 57
pro vyhledávání: '"Stéphane Le Roux"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 18, Issue 1 (2022)
For decades, two-player (antagonistic) games on graphs have been a framework of choice for many important problems in theoretical computer science. A notorious one is controller synthesis, which can be rephrased through the game-theoretic metaphor as
Externí odkaz:
https://doaj.org/article/c49da1dd2b4c42db88563c7cb050ce6b
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 256, Iss Proc. GandALF 2017, Pp 136-150 (2017)
We consider N-player non-zero sum games played on finite trees (i.e., sequential games), in which the players have the right to repeatedly update their respective strategies (for instance, to improve the outcome wrt to the current strategy profile).
Externí odkaz:
https://doaj.org/article/eea095413de2401f8b26c7c06a2d14f0
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 256, Iss Proc. GandALF 2017, Pp 46-60 (2017)
Nash equilibrium (NE) is a central concept in game theory. Here we prove formally a published theorem on existence of an NE in two proof assistants, Coq and Isabelle: starting from a game with finitely many outcomes, one may derive a game by rewritin
Externí odkaz:
https://doaj.org/article/796513759fa340cea322383b2b53ff84
Autor:
Stéphane Le Roux, Arno Pauly
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 226, Iss Proc. GandALF 2016, Pp 242-256 (2016)
We consider a dynamical approach to sequential games. By restricting the convertibility relation over strategy profiles, we obtain a semi-potential (in the sense of Kukushkin), and we show that in finite games the corresponding restriction of better-
Externí odkaz:
https://doaj.org/article/13417d63bbe44c0f82501f8ac922a651
Autor:
Stéphane Le Roux, Arno Pauly
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 218, Iss Proc. SR 2016, Pp 27-40 (2016)
We show that under some general conditions the finite memory determinacy of a class of two-player win/lose games played on finite graphs implies the existence of a Nash equilibrium built from finite memory strategies for the corresponding class of mu
Externí odkaz:
https://doaj.org/article/30edca1b54a74b84871555ace130e033
Autor:
Stéphane Le Roux, Arno Pauly
Publikováno v:
Logical Methods in Computer Science, Vol Volume 11, Issue 4 (2015)
We investigate choice principles in the Weihrauch lattice for finite sets on the one hand, and convex sets on the other hand. Increasing cardinality and increasing dimension both correspond to increasing Weihrauch degrees. Moreover, we demonstrate th
Externí odkaz:
https://doaj.org/article/001fc7408d4a483c8c22b9e948131a57
Autor:
Stéphane Le Roux
Publikováno v:
Discrete Mathematics & Theoretical Computer Science, Vol DMTCS Proceedings vol. AF,..., Iss Proceedings (2005)
In sequential games of traditional game theory, backward induction guarantees existence of Nash equilibrium by yielding a sub-game perfect equilibrium. But if payoffs range over a partially ordered set instead of the reals, then the backward inductio
Externí odkaz:
https://doaj.org/article/51b918441d064b2081c5395c7b6e1e9d
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031308284
We investigate concurrent two-player win/lose stochastic games on finite graphs with prefix-independent objectives. We characterize subgame optimal strategies and use this characterization to show various memory transfer results: 1) For a given (pref
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c4b4781584734d1af0818f9f1276eb36
https://doi.org/10.1007/978-3-031-30829-1_26
https://doi.org/10.1007/978-3-031-30829-1_26
Autor:
Chloé Copin, François Barière, Anthony Craquelin, Solenn Janvier, Sylvain Lemaitre, Sébastien Samson, Sandrine Baillard, Olivier Russo, Christophe Hardouin, Stéphane Le Roux
Publikováno v:
Organic Process Research & Development. 24:652-669
Our efforts toward the process development of drug candidate 1 are described in a series of two papers. This manuscript focuses on the synthesis of kilogram quantities of acid precursor 2 to provid...
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ed4125e9a1becd66e9e190e3d5397143
https://doi.org/10.1021/acs.oprd.9b00364
https://doi.org/10.1021/acs.oprd.9b00364
Autor:
Stéphane Le Roux, Sandrine Baillard, Olivier Russo, Christophe Hardouin, François Barière, Anthony Craquelin, Mathieu Grandjean, Christine Penloup, Solenn Janvier
Publikováno v:
Organic Process Research & Development. 24:670-685
This paper describes the synthesis of kilogram quantities of the sulfonamide moiety 3 involved in a coupling reaction with acid moiety 2 to provide batches of drug candidate 1 for preclinical studi...
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9dd10adf791c4b850e0120fa8859053e
https://doi.org/10.1021/acs.oprd.9b00367
https://doi.org/10.1021/acs.oprd.9b00367