research
∙
01/25/2023
Interpreting Knowledge-based Programs (Extended Version with Proofs)
Knowledge-based programs specify multi-agent protocols with epistemic gu...
share
research
∙
08/14/2020
Model Checking Software-Defined Networks with Flow Entries that Time Out
Software-defined networking (SDN) enables advanced operation and managem...
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...
research
∙
04/24/2020