Skip to content
#

prism

Here are 15 public repositories matching this topic...

Some probabilistic models of a rat's limbic system implemented using the Prism model checker. Currently the system is modelled at a DTMC; CTMC version is a work in progress. Up to date models can be found in the "models" folder. Made in collaboration with Dr Alice Miller and Dr Bernd Porr

  • Updated Nov 9, 2018
  • HTML

Improve this page

Add a description, image, and links to the prism topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the prism topic, visit your repo's landing page and select "manage topics."

Learn more