Probabilistic Programming Process Algebra

Anastasis Georgoulas, Jane Hillston, Dimitrios Milios, Guido Sanguinetti

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 results

Filter

Finished
QUANTICOL - A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours (RTD)
Hillston, J. & Gilmore, S.
EU government bodies
1/04/13 → 31/03/17
Project: Research
Machine learning methods for formal dynamical systems: a systems biology case study
Hillston, J.
UK industry, commerce and public corporations
1/10/12 → 31/03/16
Project: Research
Systems Training in Maths, Informatics and Computational Biology (SySMIC)
Gilmore, S.
BBSRC
1/01/12 → 31/12/16
Project: Research