Analysis of spatio-temporal properties of stochastic systems using TSTL

Ludovica Luisa Vissat, Michele Loreti, Laura Nenzi, Jane Hillston, Glenn Marion

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

1 results
- Last Name(descending)

Jane Hillston
- jane.hillstoned.acuk
- School of Informatics - Personal Chair in Quantitative Modelling
- Laboratory for Foundations of Computer Science
- Data Science and Artificial Intelligence
Person: Academic: Research Active