In: Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

open at publisher browse 1 citing papers

representative citing papers

cs.LG · 2026-05-29 · unverdicted · novelty 7.0

Value functions of policies satisfying ω-regular properties encode Streett supermartingale certificates under appropriate rewards.

Showing 1 of 1 citing paper after filters.

Value Functions as Supermartingale Certificates cs.LG · 2026-05-29 · unverdicted · none · ref 32
Value functions of policies satisfying ω-regular properties encode Streett supermartingale certificates under appropriate rewards.