Malvin Gattinger

21 papers A 1B 3C 2Journal 10Unranked 5
YearRankTypeTitle / Venue / Authors
2025 B conf
Comparing State-Representations for DEL Model Checking.
TARK
Gregor Behnke, Malvin Gattinger, Avijeet Ghosh, Haitian Wang
2025 J jnl
Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof.
CoRR
Manfred Borzechowski, Malvin Gattinger, Helle Hvid Hansen, Revantha Ramanayake, Valentina Trucco Dalmas, Yde Venema
2025 J jnl
Virtual Group Knowledge and Group Belief in Topological Evidence Models (Extended Version).
CoRR
Alexandru Baltag, Malvin Gattinger, Djanira Gomes
2024 J jnl
You can only be lucky once: optimal gossip for epistemic goals.
Math. Struct. Comput. Sci.
Hans van Ditmarsch, Malvin Gattinger
2023 J jnl
Everyone Knows That Everyone Knows: Gossip Protocols for Super Experts.
Stud Logica
Hans van Ditmarsch, Malvin Gattinger, Rahim Ramezanian
2023 B conf
Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic.
TARK
Daniel Miedema, Malvin Gattinger
2022 C conf
The Limits to Gossip: Second-Order Shared Knowledge of All Secrets is Unsatisfiable.
WoLLIC
Hans van Ditmarsch, Malvin Gattinger
2020 — conf
Balancing Selfishness and Efficiency in Mobile Ad-hoc Networks: An Agent-based Simulation.
ICAART (1)
Marcin Korecki, Malvin Gattinger, Rineke Verbrugge
2020 — conf
Dealing with Unreliable Agents in Dynamic Gossip.
DaLí
Line van den Berg, Malvin Gattinger
2020 J jnl
Everyone Knows that Everyone Knows: Gossip Protocols for Super Experts.
CoRR
Hans van Ditmarsch, Malvin Gattinger, Rahim Ramezanian
2019 B conf
How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions.
TARK
Malvin Gattinger, Yanjing Wang
2019 — conf
Reachability of Five Gossip Protocols.
RP
Hans van Ditmarsch, Malvin Gattinger, Ioannis Kokkinis, Louwe B. Kuijer
2019 J jnl
Strengthening Gossip Protocols using Protocol-Dependent Knowledge.
CoRR
Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer, Pere Pardo
2019 J jnl
Strengthening Gossip Protocols using Protocol-Dependent Knowledge.
FLAP
Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer, Pere Pardo
2019 J jnl
Towards Symbolic Factual Change in DEL.
CoRR
Malvin Gattinger
2018 J jnl
Symbolic model checking for Dynamic Epistemic Logic - S5 and beyond.
J. Log. Comput.
Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su
2018 C conf
Towards an Analysis of Dynamic Gossip in Netkat.
RAMiCS
Malvin Gattinger, Jana Wagemaker
2017 — conf
Knowing Values and Public Inspection.
ICLA
Jan van Eijck, Malvin Gattinger, Yanjing Wang
2016 J jnl
Knowing Values and Public Inspection.
CoRR
Jan van Eijck, Malvin Gattinger, Yanjing Wang
2015 A conf
Elements of Epistemic Crypto Logic.
AAMAS
Jan van Eijck, Malvin Gattinger
2015 — conf
Symbolic Model Checking for Dynamic Epistemic Logic.
LORI
Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su