ஆராய்ச்சிக் கட்டுரை கண்காணிப்பு

ஆசிரியர்கள்/நிறுவனம்: John S. H. Baxter மற்றும் Pierre Jannin. வெளியீடு/நிலை: arXiv preprint, 10 ஆகஸ்ட் 2026; peer review செய்யப்படவில்லை.

பிரச்சினை: Phase-recognition model-கள் statistically plausible ஆனால் topologically impossible transition-களை உருவாக்கலாம். பங்களிப்பு: temporal-logic predicate மற்றும் probabilistic modelling மூலம் பிழைகளை அளவிட்டு கட்டுப்படுத்துகிறது. பயன்: workflow-aware medical system-க்கு formal constraint assurance layer ஆக உதவலாம். வரம்புகள்: simulation, ஒரே surgical workflow, author-reported, independent reproduction மற்றும் clinical deployment evidence இல்லை.