The following pages link to Paolo Felli (Q2060722):
Displaying 8 items.
- Situation calculus for controller synthesis in manufacturing systems with first-order state representation (Q2060723) (← links)
- Efficient multi-agent epistemic planning: teaching planners about nested belief (Q2060737) (← links)
- CTL* model checking for data-aware dynamic systems with arithmetic (Q2104496) (← links)
- Supervisory Control for Behavior Composition (Q2989619) (← links)
- (Q3457205) (← links)
- Description Logic Knowledge and Action Bases (Q4917617) (← links)
- Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions (Q5025032) (← links)
- \textsc{delphic}: practical DEL planning via possibilities (Q6545564) (← links)