The following pages link to Daniele Magazzeni (Q397404):
Displaying 9 items.
- CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems (Q397407) (← links)
- Plan-based Policies for Efficient Multiple Battery Load Management (Q2905386) (← links)
- Automated Generation of Optimal Controllers through Model Checking Techniques (Q3564226) (← links)
- CASP solutions for planning in hybrid domains (Q4593097) (← links)
- Contrastive Explanations of Plans through Model Restrictions (Q5026205) (← links)
- An Introduction to the Planning Domain Definition Language (Q5108211) (← links)
- Planning for Hybrid Systems via Satisfiability Modulo Theories (Q5109894) (← links)
- Using Machine Learning for Decreasing State Uncertainty in Planning (Q5139593) (← links)
- Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans (Q6080278) (← links)