SARDINA, SEBASTIAN
SARDINA, SEBASTIAN
DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
An Adaptive Process Management System Implementation Based on Situatio Calculus, Indigolog and Classical Planning
2016 Marrella, Andrea; Mecella, Massimo; Sardina, Sebastian
Automated Process Adaptation in Cyber-Physical Domains with the SmartPM System
2015 Marrella, Andrea; Mecella, Massimo; Halapuu, Patris; Sardiña, Sebastian
Computing Trace Alignment against Declarative Process Models through Planning
2016 DE GIACOMO, Giuseppe; Marrella, Andrea; Maggi, Fabrizio M.; Sardina, Sebastian
Coordinating Mobile Actors in Pervasive and Mobile Scenarios: An AI-based Approach
2008 De Leoni, Massimiliano; Marrella, Andrea; Mecella, Massimo; Valentini, Stefano; Sardina, Sebastian
Intelligent Process Adaptation in the SmartPM System
2017 Marrella, Andrea; Mecella, Massimo; Sardina, Sebastian
Making YAWL and SmartPM Interoperate: Managing Highly Dynamic Processes by Exploiting Automatic Adaptation Features
2011 Marrella, Andrea; Mecella, Massimo; Russo, Alessandro; ter Hofstede, Arthur; Sardina, Sebastian
Path planning with Inventory-driven Jump-Point-Search
2015 Aversa, Davide; Vassos, Stavros; Sardina, Sebastian
Pruning and Preprocessing Methods for Inventory-Aware Pathfinding
2016 Aversa, Davide; Vassos, Stavros; Sardina, Sebastian
Service composition in stochastic settings
2017 Brafman, Ronen I.; De Giacomo, Giuseppe; Mecella, Massimo; Sardina, Sebastian
Situation calculus for controller synthesis in manufacturing systems with first-order state representation
2022 De Giacomo, G.; Felli, P.; Logan, B.; Patrizi, F.; Sardina, S.
SmartPM: An Adaptive Process Management System for Executing Processes in Cyber-Physical Domains
2015 Marrella, Andrea; Halapuu, Patris; Mecella, Massimo; Sardiña, Sebastian
SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning
2014 Marrella, Andrea; Mecella, Massimo; Sardina, Sebastian
SmartPM: Automated Adaptation of Dynamic Processes
2015 Marrella, Andrea; Mecella, Massimo; Sardina, Sebastian; Tucceri, Paola
Supporting adaptiveness of cyber-physical processes through action-based formalisms
2018 Marrella, Andrea; Mecella, Massimo; Sardiña, Sebastian