A Decision Procedure for Probabilistic Kleene Algebra with Angelic Nondeterminism

arXiv:2507.10980 · cs.FL, cs.LO · Submitted 2025-07-15 · Read on arXiv

cs.FL, cs.LO

Submitted: 2025-07-15

Updated: 2026-10-22

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?