Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic
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...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
European Alliance for Innovation (EAI)
2015-11-01
|
| Series: | EAI Endorsed Transactions on Cloud Systems |
| Subjects: | |
| Online Access: | https://eudl.eu/pdf/10.4108/icst.valuetools.2014.258183 |