From Environment Specifications to Multi-Agent Systems: A Hoare-Style Refinement Method with Denotational Semantics

2026 Open access

Read full text
Authors: Michael Hoche
DOI: 10.13140/rg.2.2.13251.26402
Cited by: 0

Fields of Study & Subjects

Logic programming and type systems Multi-Agent Systems and Negotiation Formal Methods in Verification

Publication details

Publication date
1 January 2026
Language
EN