Matteo Zavatteri, Romeo Rizzi, Tiziano Villa |
PosterID:
44
PDF
Slides
Poster
BibTeX
|
| A number of formal models have been proposed to address temporal and resource allocation problems under uncertainty. Such models are typically shipped with an embedded notion of dynamic controllability, enclosing the ability to always make the right decisions, during execution, according to the observed uncontrollable events that always happen. In the business process management community, resource allocation was recently studied to deal with uncontrollable choices, whereas in the security community it was studied to face the uncontrollable availability of resources. The latter is a kind of dynamic controllability known as resiliency where uncontrollable events might also not happen. To the best of our knowledge, approaches handling resiliency on top of dynamic controllability still remain unexplored. To bridge this gap, we propose Generalized Constraint Networks with Uncertainty (GCNUs), a model that we devised to address resource controllability more widely, boosting expressiveness while considering several sources of uncertainty simultaneously. We define dynamic controllability and (J,K)-resiliency of GCNUs. We reason on the structure of these problems, carry out a complexity analysis and provide algorithms to solve them. | |
| Canb | 10/28/2020, 17:00 – 18:00 |
| 10/30/2020, 00:00 – 01:00 |
| Paris | 10/28/2020, 07:00 – 08:00 |
| 10/29/2020, 14:00 – 15:00 |
| NYC | 10/28/2020, 02:00 – 03:00 |
| 10/29/2020, 09:00 – 10:00 |
| LA | 10/27/2020, 23:00 – 00:00 |
| 10/29/2020, 06:00 – 07:00 |
On timeline-based games and their complexity
Nicola Gigante, Angelo Montanari, Andrea Orlandini, Marta Cialdea Mayer, Mark Reynolds
On the Computational Complexity of Multi-Agent Pathfinding on Directed Graphs
Bernhard Nebel
Dynamic Controllability and (J,K)-Resiliency in Generalized Constraint Networks with Uncertainty
Matteo Zavatteri, Romeo Rizzi, Tiziano Villa
Search-Guidance Mechanisms for Numeric Planning Through Subgoaling Relaxation
Enrico Scala, Alessandro Saetti, Ivan Serina, Alfonso E. Gerevini