19 citations · 41 across the 9 of their papers we have counts for
1 paper · 1 filter
Éric Goubault, Jérémy Ledent, Sergio Rajsbaum
The usual epistemic model S5n for a multi-agent system is based on a Kripke frame, which is a graph whose edges are labeled with agents that do not distinguish between two states.…