Formal Foundations for Controlled Stochastic Activity Networks

arXiv:2511.12974 · cs.FL, cs.LO · Submitted 2025-11-17 · Read on arXiv

cs.FL, cs.LO

Submitted: 2025-11-17

Updated: 2026-10-22

Terminology

• Abstraction — 1× in this paper · explained in 1 episode
• Verification — 1× in this paper · explained in 2 episodes

Related papers

• Positive-Data Learning of Fixed-Observation Linear MCFGs from Working Binary Presentations
• When Does Tool Use Increase the Expressive Power of Finite-Precision Recurrent Models?