UPMurphi: a Tool for Universal Planning on PDDL+ Problems. The Universal Planner Murphi supports planning and universal planning for linear and nonlinear continuous PDDL+ models with processes and events. UPMurphi also supports Timed Initial Literals and Timed Initial Fluents. UPMurphi is based on the Discretise and Validate approach and it has been designed to automatically interface with the VAL plan validator.
Keywords for this software
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Sinisi, Stefano; Alimguzhin, Vadim; Mancini, Toni; Tronci, Enrico; Mari, Federico; Leeners, Brigitte: Optimal personalised treatment computation through in silico clinical trials on patient digital twins (2020)
- Say, Buser; Sanner, Scott: Metric hybrid factored planning in nonlinear domains with constraint generation (2019)
- Coles, A. J.; Coles, A. I.; Fox, M.; Long, D.: COLIN: planning with continuous linear numeric change (2012)