2 papers
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.AI2026
Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
Pierriccardo Olivieri, Fausto Lasca, Alessandro Gianola +1
In this work, we propose a novel framework for the logical specification of non-Markovian rewards in Markov Decision Processes (MDPs) with large state spaces. Our approach leverage…