Pure-Past Action Masking

Summary

Starter note seeded from metadata and title. This source appears closely related to shielding and temporal safety, with emphasis on pure-past information for action masking.

Key Claims

• Full claims pending deeper ingest.
• Expected role in the wiki: contrast masking-based intervention with classic shielding.

Methods / Formalism

• Action masking.
• Temporal or history-based safety information.

Evidence / Experiments

• Not yet reviewed in detail.

Connections

• Natural comparison point for Shielding.
• Likely important inside Temporal Logic and safety intervention workflows.
• Cleanup triage (2026-05-22): high-priority full ingest for distinguishing pure-past action masking from classic shield synthesis and Distributed Shield Synthesis. After the paper is reviewed, decide whether the wiki needs a dedicated Action Masking concept or whether masking should remain a subsection of Shielding.

Open Questions

• What is gained by restricting to pure-past information?
• How does the masking regime compare to full synthesized shields in permissiveness and learnability?

Citation

Varricchione, G., Alechina, N., Dastani, M., De Giacomo, G., Logan, B., and Perelli, G. (2024). Pure-Past Action Masking. AAAI-24.