1 citations · 1 across the 6 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Monitoring Data-aware Temporal Properties (Extended Version)
Alessandro Gianola, Marco Montali, Sarah Winkler
Dynamic systems in AI are often complex and heterogeneous, so that an internal specification is not accessible and verification techniques such as model checking are not applicable…
cs.AI2024
Depth-Bounded Epistemic Planning
Thomas Bolander, Alessandro Burigana, Marco Montali
We propose a novel algorithm for epistemic planning based on dynamic epistemic logic (DEL). The novelty is that we limit the depth of reasoning of the planning agent to an upper bo…