Smoothed model checking for uncertain Continuous-Time Markov Chains

Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti

Research output: Contribution to journal › Article › peer-review

2 results

Finished
QUANTICOL - A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours (RTD)
Hillston, J. (Principal Investigator) & Gilmore, S. (Co-investigator)
EU government bodies
1/04/13 → 31/03/17
Project: Research
MLCS - Machine learning for computational science statistical and formal modeling of biological systems
Sanguinetti, G. (Principal Investigator)
EU government bodies
1/10/12 → 30/09/17
Project: Research