32 citations
- Institut national de recherche en sciences et technologies du numériqueFR11 papers
- Geometric (India)IN3 papers
- Orange (France)FR3 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Laboratoire Bordelais de Recherche en InformatiqueFR2 papers
- Laboratoire de Mathématiques de VersaillesFR2 papers
- Laboratoire d'Informatique Algorithmique: Fondements et ApplicationsFR2 papers
- Nantes UniversitéFR2 papers
- Association for Symbolic LogicUS1 paper
- Ben-Gurion University of the NegevIL1 paper
- CEA Paris-SaclayFR1 paper
- Center for Responsible TravelUS1 paper
11 papers · 1 filter
Determinacy and Decidability of Reachability Games with Partial Observation on Both Sides
Nathalie Bertrand, Blaise Genest, Hugo Gimbert
We prove two determinacy and decidability results about two-players stochastic reachability games with partial observation on both sides and finitely many states, signals and actio…
Automatic Classification of Restricted Lattice Walks
Alin Bostan, Manuel Kauers
We propose an experimental mathematics approach leading to the computer-driven discovery of various structural properties of general counting functions coming from enumeration of w…
Occupancy Schemes Associated to Yule Processes
Philippe Robert, Florian Simatos
An occupancy problem with an infinite number of bins and a random probability vector for the locations of the balls is considered. The respective sizes of bins are related to the s…
New bijective links on planar maps via orientations
Eric Fusy
This article presents new bijections on planar maps. At first a bijection is established between bipolar orientations on planar maps and specific "transversal structures" on triang…
Mean asymptotic behaviour of radix-rational sequences and dilation equations (Extended version)
Philippe Dumas
The generating series of a radix-rational sequence is a rational formal power series from formal language theory viewed through a fixed radix numeration system. For each radix-rati…
The height of random binary unlabelled trees
Nicolas Broutin, Philippe Flajolet
This extended abstract is dedicated to the analysis of the height of non-plane unlabelled rooted binary trees. The height of such a tree chosen uniformly among those of size is…