75 citations
- Université Paris CitéFR78 papers
- Centre National de la Recherche ScientifiqueFR42 papers
- Délégation Paris 7FR14 papers
- Institut national de recherche en sciences et technologies du numériqueFR14 papers
- Laboratoire Bordelais de Recherche en InformatiqueFR11 papers
- Sorbonne UniversitéFR6 papers
- Laboratoire d'Informatique de l'École PolytechniqueFR5 papers
- École Normale Supérieure de LyonFR4 papers
- Computer Algorithms for MedicineAT3 papers
- École Normale Supérieure - PSLFR3 papers
- École PolytechniqueFR3 papers
- Laboratoire de Recherche en InformatiqueFR3 papers
4 papers · 1 filter
Pure and Stationary Optimal Strategies in Perfect-Information Stochastic Games with Global Preferences
Hugo Gimbert, Wieslaw Zielonka
We examine the problem of the existence of optimal deterministic stationary strategiesintwo-players antagonistic (zero-sum) perfect information stochastic games with finitely many…
Uniform definition of sets using relations and complement of Presburger Arithmetic
Arthur Milchior
In 1996, Michaux and Villemaire considered integer relations which are not definable in Presburger Arithmetic. That is, not definable in first-order logic over integers with th…
LTL Model-Checking for Dynamic Pushdown Networks Communicating via Locks
Fu Song, Tayssir Touili
A Dynamic Pushdown Network (DPN) is a set of pushdown systems (PDSs) where each process can dynamically create new instances of PDSs. DPNs are a natural model of multi-threaded pro…
Brun expansions of stepped surfaces
Valérie Berthé, Thomas Fernique
Dual maps have been introduced as a generalization to higher dimensions of word substitutions and free group morphisms. In this paper, we study the action of these dual maps on par…