3 papers
cs.PL2026
Branching Out: Existential External Choice in Effpi
Benjamin Robinson, Nobuko Yoshida
Effpi is a framework for writing strongly-typed message-passing programs in Scala, where the compiler enforces the conformance of process implementations to specified protocol type…
cs.MA2026
Generating Local Shields for Decentralised Partially Observable Markov Decision Processes
Haoran Yang, Nobuko Yoshida
Multi-agent systems under partial observation often struggle to maintain safety because each agent's locally chosen action does not, in general, determine the resulting joint actio…
cs.LO2025
Unreliability in Practical Subclasses of Communicating Systems
Amrita Suresh, Nobuko Yoshida
Systems of communicating automata are prominent models for peer-to-peer message-passing over unbounded channels, but in the general scenario, most verification properties are undec…