The following pages link to Patrizio Pelliccione (Q2024359):
Displayed 5 items.
- Multi-robot LTL planning under uncertainty (Q2024360) (← links)
- PuRSUE -- from specification of robotic environments to synthesis of controllers (Q2198133) (← links)
- A Model Driven Approach to Upgrade Package-Based Software Systems (Q3058802) (← links)
- (Q4413730) (← links)
- Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation (Q5256370) (← links)