Old Web
English
Sign In
Acemap
>
Paper
>
Analysis of spatio-temporal properties of stochastic systems using TSTL
Analysis of spatio-temporal properties of stochastic systems using TSTL
2019
Ludovica Luisa Vissat
Michele Loreti
Laura Nenzi
Jane Hillston
Glenn Marion
Keywords:
Mathematical optimization
Computer science
Algorithm
Theory of computation
statistical model checking
Correction
Source
Cite
Save
Machine Reading By IdeaReader
28
References
2
Citations
NaN
KQI
[]