Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Catalin Dima
Researcher
PaperModel-checking ATL under Imperfect Information and Perfect Recall Semantics is UndecidableAuthorship / preprint / 2011PaperCareful Autonomous Agents in Environments With Multiple Common ResourcesAuthorship / preprint / 2022PaperA Hennessy-Milner Theorem for ATL with Imperfect InformationAuthorship / preprint / 2020PaperModel Checking an Epistemic mu-calculus with Synchronous and Perfect Recall SemanticsAuthorship / preprint / 2013PaperSafraless Synthesis for Epistemic Temporal SpecificationsAuthorship / preprint / 2014PaperModel Checking Strategic Abilities in Information-sharing SystemsAuthorship / preprint / 2022PaperEntropy Games and Matrix Multiplication GamesAuthorship / preprint / 2015