Sebastian Reiche

According to our database, Sebastian Reiche authored at least 5 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy.

Christoph Benzmüller, Sebastian Reiche

J. Log. Comput., August, 2023

Beyond Following: Augmenting Bot Detection with the Integration of Behavioral Patterns.

Sebastian Reiche, Sarel Cohen, Kirill Simonov, Tobias Friedrich

Proceedings of the Complex Networks & Their Applications XII, 2023

2021

Modeling and Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy.

Christoph Benzmüller, Sebastian Reiche

CoRR, 2021

Automating Public Announcement Logic and the Wise Men Puzzle in Isabelle/HOL.

Christoph Benzmüller, Sebastian Reiche

Arch. Formal Proofs, 2021

2020

Public Announcement Logic in HOL.

Sebastian Reiche, Christoph Benzmüller

Proceedings of the Dynamic Logic. New Trends and Applications, 2020