PAYNT

swMATH44841MaRDI QIDQ1334171FDOQ1334171

Author name not available (Why is that?)

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 (5)

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

This page was built for software: PAYNT