IPS-RCRA 2021: 9th Italian workshop on Planning and Scheduling and 28th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion Riccardo De Benedictis, Marco Maratea, Andrea Micheli, Enrico Scala, Ivan Serina, Mauro Vallati and Alessandro Umbrico Virtual, November 29-30, 2021 IPS 2021 (9th Italian workshop on Planning and Scheduling) and RCRA 2021 (28th International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion") Workshops, Virtual © 2021 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0). CEUR Workshop Proceedings http://ceur-ws.org ISSN 1613-0073 CEUR Workshop Proceedings (CEUR-WS.org) Copyright for these papers by their authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0). Editors’ address: Riccardo De Benedictis Institute for Cognitive Science and Technologies (ISTC) National Research Council (CNR), Italy riccardo.debenedictis@istc.cnr.it Marco Maratea Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi Università degli Studi di Genova, Italy marco@dibris.unige.it Andrea Micheli Embedded Systems (ES) Department Bruno Kessler Foundation, Italy amicheli@fbk.eu Enrico Scala Department of Information Engineering University of Brescia, Italy enrico.scala@unibs.it Ivan Serina Department of Information Engineering University of Brescia, Italy ivan.serina@unibs.it Mauro Vallati University of Huddersfield (UK) m.vallati@hud.ac.uk Alessandro Umbrico Institute for Cognitive Science and Technologies (ISTC) National Research Council (CNR), Italy alessandro.umbrico@istc.cnr.it i IPS 2021 Programme Chairs Riccardo De Benedictis National Research Council (CNR), Italy Andrea Micheli Bruno Kessler Foundation, Italy Enrico Scala University of Brescia, Italy Ivan Serina University of Brescia, Italy Alessandro Umbrico National Research Council (CNR), Italy IPS 2021 Programme Committee Marco Baioletti, University of Perugia, Italy Gabriella Cortellessa, ISTC-CNR, Rome, Italy Giuseppe Della Penna, University of L’Aquila, Italy Simone Fratini, ESA, Germany Hector Geffner, Universitat Pompeu Fabra, Barcelona, Spain Enrico Giunchiglia, University of Genova, Italy Lee McCluskey, University of Huddersfield, UK Fabio Mercorio, University of Milan Bicocca, Italy Roberto Micalizio, University of Torino, Italy Angelo Oddi, ISTC-CNR, Rome, Italy Andrea Orlandini, ISTC-CNR, Rome, Italy Francesco Percassi, University of Huddersfield, UK Nicola Policella, ESA, Germany Riccardo Rasconi, ISTC-CNR, Rome, Italy Ioannis Refanidis, University of Macedonia, Greece Alessandro Saetti, University of Brescia, Italy Gabriele Sartor, University of Torino, Italy Andrea Schaerf, University of Udine, Italy Mauro Vallati, University of Huddersfield, UK Kristen Brent Venable, Tulane University, New Orleans, USA ii RCRA 2021 Programme Chairs Marco Maratea Università degli Studi di Genova, Italy Mauro Vallati University of Huddersfield (UK) RCRA 2021 Programme Committee Saumya Bhatnagar, University of Huddersfield Stefano Bistarelli, University of Perugia Francesco Calimeri, University of Calabria Stefania Costantini, University of Aquila Carmine Dodaro, University of Calabria Agostino Dovier, University of Udine Andrea Formisano, University of Udine Fabio Gadducci, University of Pisa Marco Gavanelli, University of Ferrara Toni Mancini, Sapienza University of Rome Joao Marques-Silva, Universidade de Lisboa Francesco Percassi, University of Huddersfield Gianluca Pozzato, University of Torino Luca Pulina, University of Sassari Francesco Ricca, University of Calabria Alessandro Saetti, University of Brescia Francesco Santini, University of Perugia Valentino Santucci, University for Foreigners of Perugia Enrico Scala, University of Brescia Ivan Serina, University of Brescia Johannes P. Wallner, Graz University of Technology iii Contents Organizing Committees i Preface vi IPS 2021 Regular Papers 1 Plan Simulation with PDSim Emanuele De Pellegrin, Ronald P. A. Petrick 1 Autonomous Generation of Symbolic Knowledge via Option Discovery Gabriele Sartor, Davide Zollo, Marta Cialdea Mayer, Angelo Oddi, Riccardo Rasconi, Vieri Giuliano Santucci 14 Scheduling Pre-Operative Assessment Clinic via Answer Set Programming Simone Caruso, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro 26 RCRA 2021 Regular Papers 37 Automatic Synthesis of Stabilizing Controllers for Discrete Time Linear Hybrid Systems Leonardo Picchiami 37 Statistical Model Checking as an Effective Technology to Formally Analyze Industry-Relevant Cyber-Physical Systems Angela Pappagallo 53 Intelligent Search for Personalized Cancer Therapy Synthesis: an Experimental Comparison Marco Esposito, Leonardo Picchiami 69 Explaining ASP-based Operating Room Schedules Riccardo Bertolucci, Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro, Francesco Ricca 85 An ASP-based solution to the Operating Room Scheduling with care units Giuseppe Galatà, Marco Maratea, Marco Mochi, Victoria Morozan, Ivan Porro 94 Contents iv IPS 2021 papers not included here and published elsewhere Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping Stefan Panjkovic, Andrea Micheli and Alessandro Cimatti; in Proceedings of 36th AAAI Confer- ence on Artificial Intelligence (AAAI 2022). Learn to Rank Search States in Temporal Planning by Exploiting Determinism Andrea Micheli, Alessandro Valentini Online Learning of Action Models for PDDL Planning Leonardo Lamanna, Alessandro Saetti, Luciano Serafini, Alfonso Emilio Gerevini and Paolo Traverso; in Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021 Best-First Width Search for Multi Agent Privacy-preserving Planning Alfonso E. Gerevini, Nir Lipovetzky, Francesco Percassi, Alessandro Saetti and Ivan Serina; in Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, ICAPS 2018, Berkeley, CA, USA, July 11-15, 2019 Computing Superior Counter-Examples for Conformant Planning Xiaodi Zhang, Alban Grastien and Enrico Scala; in Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020).New York, NY, USA, February 7-12, 2020 On Translation-Based Approaches from Discrete PDDL+ to Numeric Planning Francesco Percassi, Enrico Scala and Mauro Vallati; in Proceedings of the Thirty-First Inter- national Conference on Automated Planning and Scheduling, ICAPS 2021, Guangzhou, China (virtual), August 2-13, 2021. RCRA 2021 papers not included here and published elsewhere Configurable Heuristic Adaptation for Improving Best First Search in AI Plan- ning Ivan Serina, Mauro Vallati ; in Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2020, Baltimore, MD, USA, November 9-11, 2020 Online Learning of Action Models for PDDL Planning Leonardo Lamanna, Alessandro Saetti, Luciano Serafini, Alfonso Emilio Gerevini and Paolo Traverso; in Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021 Upgrading Arc Consistency in Asynchronous Forward Bounding algorithm Rachid Adrdor and Lahcen Koutti; in Proceedings of the International Conference on Logic Contents v Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021) Porto, Portugal (virtual), September 20th-21st, 2021.