Nenzi, Laura and Bortolussi, Luca (2015) Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic. In: 8th International Conference on Performance Evaluation Methodologies and Tools.
![[thumbnail of 21254.pdf]](http://eprints.eai.eu/style/images/fileicons/application_pdf.png "21254.pdf")
PDF
21254.pdf
Download (199kB)
Abstract
We present an extension of the linear time, time-bounded, Signal Temporal Logic to describe spatio-temporal properties. We consider a discrete location/ patch-based representation of space, with a population of interacting agents evolving in each location and with agents migrating from one patch to
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Date Deposited: | 04 Mar 2026 10:25 |
| Last Modified: | 17 Apr 2026 18:57 |
| URI: | http://eprints.eai.eu/id/eprint/12701 |
Actions (login required)
- View Item