Imported from hiyenwong/ai_collection (collection/skills/other/arxiv-2608-25926v1-formal-executable-and-explainable-runtime-monitori/SKILL.md). Install upstream with npx skills add hiyenwong/ai_collection --skill arxiv-2608-25926v1-formal-executable-and-explainable-runtime-monitori. Copyright stays with the author.

-- name: arxiv-2608-25926v1-formal-executable-and-explainable-runtime-monitori description: 'Formal, Executable and Explainable Runtime Monitoring of Spoken Air Traffic Control Operational Procedures (arXiv: 2608.25926v1)' metadata: { "arxiv_id": "2608.25926v1", "utility": 1.0, "title": "Formal, Executable and Explainable Runtime Monitoring of Spoken Air Traffic Control Operational Procedures", "authors": "Roberto Luvini, Giacomo Longo, Alessandro Armando, Enrico Russo", "url": "http://arxiv.org/abs/2608.25926v1" }

Formal, Executable and Explainable Runtime Monitoring of Spoken Air Traffic Control Operational Procedures

arXiv ID: 2608.25926v1 Authors: Roberto Luvini, Giacomo Longo, Alessandro Armando, Enrico Russo URL: http://arxiv.org/abs/2608.25926v1 Utility Score: 1.00

Summary

This skill was automatically generated from the arXiv paper titled "Formal, Executable and Explainable Runtime Monitoring of Spoken Air Traffic Control Operational Procedures" (ID: 2608.25926v1).

Usage

This skill can be used to reference the paper's concepts, methodologies, or findings in agent workflows.

References

• arXiv: http://arxiv.org/abs/2608.25926v1