Dear all,
after the nice interactive 0th probabilistic termination competition last year, we plan to introduce new (non-interactive) categories for probabilistic rewriting. A proposal for the new categories is available in this GitHub discussion [1]. Please share your opinions there.
Best Florian