TY  - RPRT
TI  - Composing Verifiable Conceptual Models via Building Blocks: Towards Design-Time Verification of Agentic AI Workflows
AU  - Noe Y. Flandre
AU  - Alexander C. Nwala
AU  - Philippe J. Giabbanelli
PY  - 2026
UR  - https://arxiv.org/abs/2606.21565
ID  - 2606.21565
ER  -