Model Checking Single Agent Behaviours by Fluid Approximation

Luca Bortolussi, Jane Hillston

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

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