Probabilistic and Stateful Extensions to the π-Calculus for Formal Verification of AI-Driven Mobile and Communicating Systems
Crossref DOI link: https://doi.org/10.66879/jacs.2026.17
Published Online: 2026-08-14
Published Print: 2026-08-14
Update policy: https://doi.org/10.66879/wcap.jacs.crossmark.policy
Yang, Chang
