Property-driven State-Space Coarsening for Continuous Time Markov Chains

Michalis Michaelides, Dimitrios Milios, Jane Hillston, Guido Sanguinetti

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

1 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