Verics
From MaRDI portal
Cited in
(9)- GEZEL
- MCK
- Symbolic model checking for temporal-epistemic logic
- Specification and Verification of Multi-Agent Systems
- Model Checking Real-Time Systems
- Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic
- UPPAAL CORA
- scientific article; zbMATH DE number 1956587 (Why is no real title available?)
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems
This page was built for software: Verics
