=Paper=
{{Paper
|id=Vol-3065/xfrontmatter
|storemode=property
|title=IPS-RCRA 2021 front matter
|pdfUrl=https://ceur-ws.org/Vol-3065/xfrontmatter.pdf
|volume=Vol-3065
}}
==IPS-RCRA 2021 front matter==
https://ceur-ws.org/Vol-3065/xfrontmatter.pdf
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.