Model Checking Single Agent Behaviours by Fluid Approximation

Luca Bortolussi, Jane Hillston

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Model Checking Single Agent Behaviours by Fluid Approximation'. Together they form a unique fingerprint.

Computer Science

Mathematics