The following pages link to Luca Spalazzi (Q209433):
Displaying 8 items.
- Parameterized model checking of networks of timed automata with Boolean guards (Q1989334) (← links)
- (Q3045457) (← links)
- A planning language for embedded systems (Q4421244) (← links)
- (Q4434248) (← links)
- A dynamic logic for acting, sensing, and planning (Q4528038) (← links)
- A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage (Q5194927) (← links)
- A survey on case-based planning (Q5946334) (← links)
- SMARTED: SMARTwatch Emotion Dataset (Q6709070) (← links)