-
-
https://rodolphe-vaillant.fr/images/entry_196_squash_and_stretch/slime_orange.ma
Design of a squash and stretch rig in Maya - Rodolphe Vaillant's homepage Download base model -
https://www.stormchecker.org/resources/input-examples/ma/jobs03_2.ma
Storm -- A Modern Probabilistic Model Checker -- Running Storm Download PRISM file for stochastic job scheduling (3 jobs and 2 servers)