Sophie Pinchinat
5 papers · 2013–2022 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🏃 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
Formula Synthesis in Propositional Dynamic Logic with Shuffle
AAAI 2022
Concurrent Games in Dynamic Epistemic Logic
IJCAI 2020
Reachability Games in Dynamic Epistemic Logic
IJCAI 2019
Small Undecidable Problems in Epistemic Planning
IJCAI 2018
The Complexity of One-Agent Refinement Modal Logic
IJCAI 2013