[JHFB20]
Simon Jantsch, Hans Harder, Florian Funke and Christel Baier.
SWITSS: Computing Small Witnessing Subsystems.
In Proc. Formal Methods in Computer Aided Design (FMCAD'20).
2020.
[Proposes a tool for computing witnesses in Markov models, with underlying of PRISM for model generation.]
|
