1 citations · 1 across the 3 of their papers we have counts for
Showing 2012 · cs.AIShow all
2 papers · 2 filters
cs.AI2012
Reasoning about Agent Programs using ATL-like Logics
Nitin Yadav, Sebastian Sardina
We propose a variant of Alternating-time Temporal Logic (ATL) grounded in the agents' operational know-how, as defined by their libraries of abstract plans. Inspired by ATLES, a va…
cs.AI2012
Qualitative Approximate Behavior Composition
Nitin Yadav, Sebastian Sardina
The behavior composition problem involves automatically building a controller that is able to realize a desired, but unavailable, target system (e.g., a house surveillance) by suit…