Trace-to-Logic Assurance for Agentic AI: Mining Probabilistic Rules from Message-Action Traces. Paduraru, C., Macovei, B., & Stefanescu, A.. In: Proceedings of the 21st International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2026), 22 – 24 May 2026,  Benidorm, Spain, DOI: 10.5220/0014983100004015.