IPS-RCRA workshop on Planning and Scheduling and 28th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion Riccardo De Benedictis 0 1 2 3 Marco Maratea 0 1 2 3 Andrea Micheli amicheli@fbk.eu 0 1 2 3 Enrico Scala enrico.scala@unibs.it 0 1 2 3 Ivan Serina ivan.serina@unibs.it 0 1 2 3 Mauro Vallati m.vallati@hud.ac.uk 0 1 2 3 Alessandro Umbrico 0 1 2 3 Andrea Micheli Embedded Systems (ES) Department Bruno Kessler Foundation , Italy Enrico Scala Department of Information Engineering University of Brescia , Italy Ivan Serina Department of Information Engineering University of Brescia , Italy Mauro Vallati University of Huddersfield , UK 2021 9 -

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). CPWrEooUrckResehdoinpgs IhStpN:/c1e6u1r3-w-0s.o7r3g 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

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 RCRA 2021 Programme Chairs

Marco Maratea Università degli Studi di Genova, Italy Mauro Vallati University of Huddersfield (UK)

 RCRA 2021 Programme Committee Contents

Organizing Committees Preface

 IPS 2021 Regular Papers

Plan Simulation with PDSim

Emanuele De Pellegrin, Ronald P. A. Petrick Autonomous Generation of Symbolic Knowledge via Option Discovery Gabriele Sartor, Davide Zollo, Marta Cialdea Mayer, Angelo Oddi, Riccardo Rasconi, Vieri Giuliano Santucci Scheduling Pre-Operative Assessment Clinic via Answer Set Programming

Simone Caruso, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro

 RCRA 2021 Regular Papers

Automatic Synthesis of Stabilizing Controllers for Discrete Time Linear Hybrid Systems

Leonardo Picchiami Statistical Model Checking as an Effective Technology to Formally Analyze Industry-Relevant Cyber-Physical Systems

Angela Pappagallo Intelligent Search for Personalized Cancer Therapy Synthesis: an Experimental Comparison

Marco Esposito, Leonardo Picchiami Explaining ASP-based Operating Room Schedules

Riccardo Bertolucci, Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro, Francesco Ricca An ASP-based solution to the Operating Room Scheduling with care units Giuseppe Galatà, Marco Maratea, Marco Mochi, Victoria Morozan, Ivan Porro iii

i vi 1 1 14 26 37 37 53 69 85 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 Conference 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 International 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 Planning

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

 Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021) Porto, Portugal (virtual ), September 20th-21st , 2021 .