Malvin Gattinger

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 17

Top Topics

Communication Protocols

Partial Observability

Formal Verification

Symbolic Model Checking

Top Venues

Publications

Daniel Miedema, Malvin Gattinger
Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic. TARK (2023)
Hans van Ditmarsch, Malvin Gattinger, Rahim Ramezanian
Everyone Knows That Everyone Knows: Gossip Protocols for Super Experts. Stud Logica 111 (3) (2023)
Hans van Ditmarsch, Malvin Gattinger
The Limits to Gossip: Second-Order Shared Knowledge of All Secrets is Unsatisfiable. WoLLIC (2022)
Marcin Korecki, Malvin Gattinger, Rineke Verbrugge
Balancing Selfishness and Efficiency in Mobile Ad-hoc Networks: An Agent-based Simulation. ICAART (1) (2020)
Hans van Ditmarsch, Malvin Gattinger, Rahim Ramezanian
Everyone Knows that Everyone Knows: Gossip Protocols for Super Experts. CoRR (2020)
Line van den Berg, Malvin Gattinger
Dealing with Unreliable Agents in Dynamic Gossip. DaLí (2020)
Malvin Gattinger
Towards Symbolic Factual Change in DEL. CoRR (2019)
Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer, Pere Pardo
Strengthening Gossip Protocols using Protocol-Dependent Knowledge. CoRR (2019)
Hans van Ditmarsch, Malvin Gattinger, Ioannis Kokkinis, Louwe B. Kuijer
Reachability of Five Gossip Protocols. RP (2019)
Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer, Pere Pardo
Strengthening Gossip Protocols using Protocol-Dependent Knowledge. FLAP 6 (1) (2019)
Malvin Gattinger, Yanjing Wang
How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions. TARK (2019)
Malvin Gattinger, Jana Wagemaker
Towards an Analysis of Dynamic Gossip in Netkat. RAMiCS (2018)
Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su
Symbolic model checking for Dynamic Epistemic Logic - S5 and beyond. J. Log. Comput. 28 (2) (2018)
Jan van Eijck, Malvin Gattinger, Yanjing Wang
Knowing Values and Public Inspection. ICLA (2017)
Jan van Eijck, Malvin Gattinger, Yanjing Wang
Knowing Values and Public Inspection. CoRR (2016)
Jan van Eijck, Malvin Gattinger
Elements of Epistemic Crypto Logic. AAMAS (2015)
Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su
Symbolic Model Checking for Dynamic Epistemic Logic. LORI (2015)