881 citations · 1.7k across the 23 of their papers we have counts for
Showing 2017 · cs.AIShow all
2 papers · 2 filters
cs.AI2017
A Planning Approach to Monitoring Behavior of Computer Programs
Alexandre Cukier, Ronen I. Brafman, Yotam Perkal +1
We describe a novel approach to monitoring high level behaviors using concepts from AI planning. Our goal is to understand what a program is doing based on its system call trace. T…
cs.AI2017★ 2 cited
Specifying Non-Markovian Rewards in MDPs Using LDL on Finite Traces (Preliminary Version)
Ronen Brafman, Giuseppe De Giacomo, Fabio Patrizi
In Markov Decision Processes (MDPs), the reward obtained in a state depends on the properties of the last state and action. This state dependency makes it difficult to reward more…