Compositional Verification of Multi-agent Systems in Temporal Multi-epistemic Logic

Abstract
No abstract available

This publication has 13 references indexed in Scilit: