8 citations
- Université Paris CitéFR2 papers
- Centre National de la Recherche ScientifiqueFR1 paper
- Délégation Paris 7FR1 paper
- Laboratoire d'Informatique Gaspard-MongeFR1 paper
- Laboratoire Ville Mobilité TransportFR1 paper
- Sorbonne Paris CitéFR1 paper
- Université du Québec en OutaouaisCA1 paper
- Université Gustave EiffelFR1 paper
2 papers
cs.DC2010★ 3 cited
Decidability Classes for Mobile Agents Computing
Pierre Fraigniaud, Andrzej Pelc
We establish a classification of decision problems that are to be solved by mobile agents operating in unlabeled graphs, using a deterministic protocol. The classification is with…
cs.FL2010★ 8 cited
Minimization of Automata
Jean Berstel, Luc Boasson, Olivier Carton +1
This chapter is concerned with the design and analysis of algorithms for minimizing finite automata. Getting a minimal automaton is a fundamental issue in the use and implementatio…