A formal extension of stochastic activity networks with explicit control actions, equipped with automata semantics, policy hierarchies, and a claimed reduction to CTMDPs, but with numerous unsupported proofs.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.FL 1years
2025 1verdicts
REJECT 1representative citing papers
citing papers explorer
-
Formal Foundations for Controlled Stochastic Activity Networks
A formal extension of stochastic activity networks with explicit control actions, equipped with automata semantics, policy hierarchies, and a claimed reduction to CTMDPs, but with numerous unsupported proofs.