Bernhard Reus | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

George Parisis
9 publications
Alexander Knapp
4 publications
Vasileios Klimis
3 publications
Heribert Mühlberger
1 publication

research

∙ 01/25/2023

Interpreting Knowledge-based Programs (Extended Version with Proofs)

Knowledge-based programs specify multi-agent protocols with epistemic gu...

0 Alexander Knapp, et al. ∙

research

∙ 08/14/2020

Model Checking Software-Defined Networks with Flow Entries that Time Out

Software-defined networking (SDN) enables advanced operation and managem...

0 Vasileios Klimis, et al. ∙

research

∙ 04/24/2020

Towards Model Checking Real-World Software-Defined Networks (version with appendix)

In software-defined networks (SDN), a controller program is in charge of...

0 Vasileios Klimis, et al. ∙

research

∙ 04/24/2020

Towards Model Checking Real-World Software-Defined Networks

In software-defined networks (SDN) a controller program is in charge of ...

0 Vasileios Klimis, et al. ∙