Role

  • Byzantine Causal Cone / R. Kuznets, L. Prosperi, U. Schmid, K. Fruzsa / Talk: Workshop on Formal Reasoning in Distributed Algorithms (FRiDA), Budapest, Hungary (invited); 2019-10-18
  • Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems / R. Kuznets, L. Prosperi, U. Schmid, K. Fruzsa / Poster: TARK 2019: Theoretical Aspects of Rationality and Knowledge, Toulouse, France; 2019-07-17 - 2019-07-19; in: "Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2019)", L. Moss (ed.); Electronic Proceedings in Theoretical Computer Science, 297 (2019), ISSN: 2075-2180; 293 - 312
  • Epistemic Reasoning with Byzantine-Faulty Agents / R. Kuznets, L. Prosperi, U. Schmid, K. Fruzsa / Talk: FroCoS 2019: Frontiers of Combining Systems, London, UK; 2019-09-04 - 2019-09-06; in: "Frontiers of Combining Systems, 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings", A. Herzig, A. Popescu (ed.); Springer, (2019), ISBN: 978-3-030-29006-1; 259 - 276
  • Hope for Epistemic Reasoning with Faulty Agents! / K. Fruzsa / Talk: 31st European Summer School in Logic, Language and Information (ESSLLI 2019), Riga, Latvia; 2019-08-05 - 2019-08-16; in: "ESSLLI 2019 Student Session", (2019), 169 - 180
  • Knowledge in Byzantine Message-Passing Systems I: Framework and the Causal Cone / L. Prosperi, R. Kuznets, U. Schmid, K. Fruzsa, L. Gréaux / Report for Institut für Technische Informatik; Report No. TUW-260549, 2019