Sophie Pinchinat
5 papers
· 2013–2022
· 2 conferences
· across top CS/AI conferences
Achievements
🏃
Academic Marathon
(9)
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🐣
Hot Topic Early Bird
🐝
Cross-Pollinator
(4)
🌉
Interdisciplinary Bridge
🚀
Conference Pioneer
Conferences
IJCAI (4)
AAAI (1)
Top co-authors
Keywords
dynamic epistemic logic
(3)
multi-player game
(2)
model checking
(1)
concurrent game
(1)
transition system
(1)
reachability game
(1)
distributed strategy
(1)
multi-agent system
(1)
epistemic planning
(1)
knowledge state
(1)
propositional dynamic logic
(1)
strategic epistemic logic
(1)
formula synthesis
(1)
imperfect information
(1)
regular grammar
(1)
formal verification
(1)
Papers
Concurrent Games in Dynamic Epistemic Logic
IJCAI 2020