518 citations
- Centre National de la Recherche ScientifiqueFR240 papers
- Université Toulouse III - Paul SabatierFR171 papers
- Institut de Recherche en Informatique de ToulouseFR170 papers
- Université Toulouse-I-CapitoleFR170 papers
- Université Toulouse - Jean JaurèsFR170 papers
- Institut de Mathématiques de MarseilleFR147 papers
- Université de BordeauxFR138 papers
- Château GombertFR107 papers
- Laboratoire Bordelais de Recherche en InformatiqueFR80 papers
- Aix-Marseille UniversitéFR54 papers
- Institut de Mécanique et d'Ingénierie de BordeauxFR45 papers
- Centrale MéditerranéeFR39 papers
4 papers · 2 filters
Modal Logic for Simulation, Refinement, and Mutual Ignorance
Hans van Ditmarsch, Tim French, Rustam Galimullin +1
Simulation and refinement are variations of the bisimulation relation, where in the former we keep only atoms and forth, and in the latter only atoms and back. Quantifying over sim…
Graded Distributed Belief
Emiliano Lorini, Dmitry Rozplokhas
We introduce a new logic of graded distributed belief that allows us to express the fact that a group of agents distributively believe that a certain fact holds with at least stren…
Rational Capability in Concurrent Games
Yinfeng Li, Emiliano Lorini, Munyque Mittelmann
We extend concurrent game structures (CGSs) with a simple notion of preference over computations and define a minimal notion of rationality for agents based on the concept of domin…
Complete Compositional Syntax for Finite Transducers on Finite and Bi-Infinite Words
Titouan Carette, Marc de Visme, Vivien Ducros +2
Minimizing finite automata, proving trace equivalence of labelled transition systems or representing sofic subshifts involve very similar arguments, which suggests the possibility…