Analysis of spatio-temporal properties of stochastic systems using TSTL
From MaRDI portal
Publication:6600061
DOI10.1145/3326168zbMath1544.68098MaRDI QIDQ6600061
Laura Nenzi, Ludovica Luisa Vissat, Jane Hillston, Michele Loreti, Glenn Marion
Publication date: 8 September 2024
Published in: ACM Transactions on Modeling and Computer Simulation (Search for Journal in Brave)
statistical model checkingmulti-valued logicsspatio-temporal logicsstochastic spatial population models
Directional data; spatial statistics (62H11) Probability and inductive logic (03B48) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
This page was built for publication: Analysis of spatio-temporal properties of stochastic systems using TSTL
