Epistemic Reasoning with Byzantine-Faulty Agents. - Roman Kuznets; Laurent Prosperi; Ulrich Schmid 001; Krisztina Fruzsa (FroCos, 2019)

Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems. - Roman Kuznets; Laurent Prosperi; Ulrich Schmid 001; Krisztina Fruzsa (TARK, 2019)

Hope for Epistemic Reasoning with Faulty Agents! - Krisztina Fruzsa (ESSLLI Student Sessions, 2021)

Fire! - Krisztina Fruzsa; Roman Kuznets; Ulrich Schmid 001 (TARK, 2021)

A New Hope. - Krisztina Fruzsa; Roman Kuznets; Hans van Ditmarsch (AiML, 2022)

A Logic for Repair and State Recovery in Byzantine Fault-Tolerant Multi-agent Systems. - Hans van Ditmarsch; Krisztina Fruzsa; Roman Kuznets; Ulrich Schmid 001 (IJCAR (2), 2024)