A Formal Probabilistic Model of the Inhibitory Control Circuit in the Brain Topics: Computational Neuroscience; Formal Verification of Biological Systems; Model Design and Evaluation; Simulation and Modeling; Systems Biology In Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 3: BIOSTEC, 146-154, 2023 , Lisbon, Portugal