Supplementary Online Material for: Composing Verifiable Conceptual Models via Building Blocks: Towards Design-Time Verification of Agentic AI Workflows

Description

This supplementary material is for an article accepted at the 2026 Winter simulation conference in Glasgow, Scotland, Dec 2026.

Authors

• Flandre, Noé
• Nwala, Alexander
• Giabbanelli, Philippe

DOI: 10.5281/zenodo.20765757

Publication Date: 2026-06-19

Back to publications list

About