The following pages link to Laura Nenzi (Q1784958):
Displayed 9 items.
- Model checking Markov population models by stochastic approximations (Q1784959) (← links)
- Mining interpretable spatio-temporal logic properties for spatially distributed systems (Q2147182) (← links)
- A logic-based learning approach to explore diabetes patient behaviors (Q2326593) (← links)
- System design of stochastic models using robustness of temporal properties (Q2348023) (← links)
- (Q4553288) (← links)
- (Q5028457) (← links)
- Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems (Q5194934) (← links)
- Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic (Q5376908) (← links)
- Signal convolution logic (Q6109592) (← links)