Showing cs.AIShow all
3 papers · 1 filter
cs.AI2026
Synthesis of timeline-based planning strategies avoiding determinization
Dario Della Monica, Angelo Montanari, Pietro Sala
Qualitative timeline-based planning models domains as sets of independent, but interacting, components whose behaviors over time, the timelines, are governed by sets of qualitative…
cs.AI2025
Counterfactual Scenarios for Automated Planning
Nicola Gigante, Francesco Leofante, Andrea Micheli
Counterfactual Explanations (CEs) are a powerful technique used to explain Machine Learning models by showing how the input to a model should be minimally changed for the model to…
cs.AI2024
Controller Synthesis for Timeline-based Games
Renato Acampora, Luca Geatti, Nicola Gigante +2
In the timeline-based approach to planning, the evolution over time of a set of state variables (the timelines) is governed by a set of temporal constraints. Traditional timeline-b…