2 papers
cs.CR2025
Preliminary Investigation into Uncertainty-Aware Attack Stage Classification
Alessandro Gaudenzi, Lorenzo Nodari, Lance Kaplan +3
Advanced Persistent Threats (APTs) represent a significant challenge in cybersecurity due to their prolonged, multi-stage nature and the sophistication of their operators. Traditio…
cs.AI2025
FORM: Learning Expressive and Transferable First-Order Logic Reward Machines
Leo Ardon, Daniel Furelos-Blanco, Roko Parac +1
Reward machines (RMs) are an effective approach for addressing non-Markovian rewards in reinforcement learning (RL) through finite-state machines. Traditional RMs, which label edge…