Malvin Gattinger

Available identifiers

zbMath Open gattinger.malvinMaRDI QIDQ1617830

List of research outcomes

Publication	Date of Publication	Type
You can only be lucky once: optimal gossip for epistemic goals	2024-11-29	Paper
Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic	2024-02-28	Paper
Everyone knows that everyone knows	2023-06-28	Paper
The limits to gossip: second-order shared knowledge of all secrets is unsatisfiable	2023-06-02	Paper
https://portal.mardi4nfdi.de/entity/Q5869598	2022-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q5018513	2021-12-20	Paper
Dealing with unreliable agents in dynamic gossip	2021-12-01	Paper
Everyone knows that everyone knows	2021-03-19	Paper
Reachability of five gossip protocols	2019-10-22	Paper
Knowing Values and Public Inspection	2019-07-24	Paper
Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*	2019-01-31	Paper
Towards an analysis of dynamic gossip in Net\textsc{kat}	2018-11-08	Paper
Symbolic Model Checking for Dynamic Epistemic Logic	2015-12-17	Paper

Research outcomes over time

This page was built for person: Malvin Gattinger