Publications

Export 1 results:
[ Type(Desc)] Year
Filters: Keyword is Monitoring  [Clear All Filters]
Conference Paper
Bortolussi L, Nenzi L.  2015.  Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic. VALUETOOLS2014. 1(4) (380.08 KB)