@INPROCEEDINGS{MOCHAP15, author = {Giuseppe Della Penna and Benedetto Intrigila and Daniele Magazzeni and Fabio Mercorio}, title = {UPMurphi Released: PDDL+ Planning for Hybrid Systems}, series = {}, booktitle = {Proceedings of 2nd Workshop on Model Checking and Automated Planning}, editor = {AAAI Press}, pages = {35--39}, year = {2015}, month = {6}, }