Publications

Export 2 results:
Type [ Year(Asc)]
Filters: Keyword is Signal Temporal Logic  [Clear All Filters]
2003
Bartocci E, Bortolussi L, Nenzi L, Sanguinetti G.  2003.  On the Robustness of Temporal Properties for Stochastic Models. 2nd International Workshop on Hybrid Systems and Biology, HSB 2013. 125:3-19. (1.3 MB)