Sophie Pinchinat
5 papers · 2013–2022 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Sprint
🌉
Interdisciplinary Bridge · Bronze
🐣
Hot Topic Early Bird
🚀
Conference Pioneer
Top co-authors
Research topics
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