1 citations · 1 across the 3 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
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…