Skip to main content

First-order Modal Logics for the Specification and Verification of Multi-Agent Systems

Searching for OpenAIRE data...