PAYNT

MaRDI QIDQ1334171swMATHFDO

Official website https://link.springer.com/chapter/10.1007/978-3-030-81685-8_40

Source code repository https://github.com/randriu/synthesis

Cited in

(6)

• POMDP
• PASS
• Storm
• PROPhESY
• Jani
• Out of control: reducing probabilistic models by control-state elimination

This page was built for software: PAYNT