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
6 links
Vadim Malvone
Researcher
PaperReasoning about Moving Target Defense in Attack Modeling FormalismsAuthorship / preprint / 2022PaperExtended Graded Modalities in Strategy LogicAuthorship / preprint / 2016PaperReasoning about Human-Friendly Strategies in Repeated Keyword AuctionsAuthorship / preprint / 2022PaperProgram Semantics and a Verification Technique for Knowledge-Based Multi-Agent SystemsAuthorship / preprint / 2022PaperA Hennessy-Milner Theorem for ATL with Imperfect InformationAuthorship / preprint / 2020PaperModel Checking Strategic Abilities in Information-sharing SystemsAuthorship / preprint / 2022