# PSTMonitor: Monitor Synthesis from Probabilistic Session Types

arXiv: https://arxiv.org/abs/2212.07329 · HTML: https://mlsanity.com/paper/2212.07329/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 14 Dec 2022.

## Built on by (most cited first, 1 of 1)

- [ProbGuard: Proactive Runtime Monitoring for LLM Agent Safety via Probabilistic Prediction](https://mlsanity.com/paper/2508.00500/) (2025)

## Abstract (arXiv)

We present PSTMonitor, a tool for the run-time verification of quantitative specifications of message-passing applications, based on probabilistic session types. The key element of PSTMonitor is the detection of executions that deviate from expected probabilistic behaviour. Besides presenting PSTMonitor and its operation, the paper analyses its feasibility in terms of the runtime overheads it induces.