Published on in Vol 10 (2026)
Preprints (earlier versions) of this paper are
available at
https://preprints.jmir.org/preprint/87236, first published
.

Conference Proceedings
- Nagaraju C, Jayadeep Patibandla V, Edhala G. 2026 International Conference on Intelligent Systems and Digital Applications (ISDA). Non-Repudiable Guardrails for Agentic AI Formal Verification Framework For Autonomous Clinical Intervention View
