88 citations
- École Normale Supérieure Paris-SaclayFR90 papers
- Centre National de la Recherche ScientifiqueFR87 papers
- Institut national de recherche en sciences et technologies du numériqueFR29 papers
- Université Paris-SaclayFR16 papers
- Chennai Mathematical InstituteIN10 papers
- Laboratoire Bordelais de Recherche en InformatiqueFR9 papers
- Institute of Science and Technology AustriaAT8 papers
- Université Libre de BruxellesBE7 papers
- Aalborg UniversityDK6 papers
- Université Paris CitéFR6 papers
- University of MonsBE6 papers
- Centre Inria de l'Université de RennesFR5 papers
15 papers · 1 filter
Les connaissances de la toile
Serge Abiteboul
How to manage knowledge on the Web.
Finite-type-Dyck shift spaces
Marie-Pierre Béal, Michel Blockelet, Cǎtǎlin Dima
We study some basic properties of sofic-Dyck shifts and finite-type-Dyck shifts. We prove that the class of sofic-Dyck shifts is stable under proper conjugacies. We prove a Decompo…
Doomsday Equilibria for Omega-Regular Games
Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot +1
Two-player games on graphs provide the theoretical frame- work for many important problems such as reactive synthesis. While the traditional study of two-player zero-sum games has…
Avoiding Shared Clocks in Networks of Timed Automata
Sandie Balaguer, Thomas Chatain
Networks of timed automata (NTA) are widely used to model distributed real-time systems. Quite often in the literature, the automata are allowed to share clocks, i.e. transitions o…
Limit Synchronization in Markov Decision Processes
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
Markov decision processes (MDP) are finite-state systems with both strategic and probabilistic choices. After fixing a strategy, an MDP produces a sequence of probability distribut…
Reachability under Contextual Locking
Remi Bonnet, Rohit Chadha, Mahesh Viswanathan +1
The pairwise reachability problem for a multi-threaded program asks, given control locations in two threads, whether they can be simultaneously reached in an execution of the progr…