Filtered for keywords: upmurphi reset
2019
- Giuseppe Della Penna, Pietro Frasca and Benedetto Intrigila:Two Factor Authentication for e-Government Services using Hardware-Like One Time Password Generators Journal of Computer Science 15(1) : 171-189 (2019) http://dx.doi.org/10.3844/jcssp.2019.171.189 planningupmurphi
2015
- Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni and Fabio Mercorio:UPMurphi Released: PDDL+ Planning for Hybrid Systems Proceedings of 2nd Workshop on Model Checking and Automated Planning 2015: 35-39 https://icaps15.icaps-conference.org/workshops/mochap-proceedings.pdf planningupmurphi
2012
- Giuseppe Della Penna, Daniele Magazzeni and Fabio Mercorio:A universal planning system for hybrid domains. Appl. Intell. 36(4) : 932-959 (2012) https://doi.org/10.1007/s10489-011-0306-z planningupmurphi
2009
- Giuseppe Della Penna, Daniele Magazzeni, Fabio Mercorio and Benedetto Intrigila:UPMurphi: A Tool for Universal Planning on PDDL+ Problems. ICAPS 2009 http://aaai.org/ocs/index.php/ICAPS/ICAPS09/paper/view/707 planningupmurphi