|  | Vol-3065 urn:nbn:de:0074-3065-4 Copyright © 2021 for the individual papers by the papers' authors. Copyright © 2021 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# IPS'21 and RCRA'21
9th Italian workshop on Planning and Scheduling and 28th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2021

### Proceedings of the 9th Italian workshop on Planning and Scheduling (IPS'21) and the 28th International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA'21) with CEUR-WS
co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021)

### Milan, Italy (virtual), November 29th-30th, 2021.

Edited by

### Riccardo De Benedictis 1
Marco Maratea 2
Andrea Micheli 3
Enrico Scala 4
Ivan Serina 4
Mauro Vallati 5
Alessandro Umbrico 6

1 National Research Council (CNR), Italy
2 University of Genova, Italy
3 Bruno Kessler Foundation, Italy
4 University of Brescia, Italy
5 University of Huddersfield, UK
6 National Research Council (CNR), Italy

## Table of Contents

- IPS-RCRA 2021 front matter
- Preface
  Summary: There were 17 papers submitted for peer-review to these workshops. Out of these, 8 papers were accepted for this volume, as regular papers.

### 9th Italian Workshop on Planning and Scheduling (IPS-2021)﻿

- 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

### International Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA'21)

- 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

2021-12-28: submitted by Ivan Serina, metadata incl. bibliographic data published under Creative Commons CC0
2022-01-06: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|