Regarding video lecture

[meena kumari]

Hi teams

Please let me know if there are any video lectures available  for beginners.

I am a beginner and just start to work with prism tool.

Thanks and regards

Meena Kumari

[Kaustabha Ray]

You will find some lectures on the theory behind probabilistic model checking here :

https://www.youtube.com/playlist?list=PLgKuh-lKre10vb7Fw3ZgNO5eUVhWjOVpk

--
You received this message because you are subscribed to the Google Groups "PRISM model checker" group.
To unsubscribe from this group and stop receiving emails from it, send an email to prismmodelchec...@googlegroups.com.
To view this discussion on the web, visit https://groups.google.com/d/msgid/prismmodelchecker/8f724f23-3c53-4bf5-9e9a-a61bc91adfabn%40googlegroups.com.