Sciweavers

AAAI
2006
14 years 28 days ago
Goal Specification, Non-Determinism and Quantifying over Policies
One important aspect in directing cognitive robots or agents is to formally specify what is expected of them. This is often referred to as goal specification. Temporal logics such...
Chitta Baral, Jicheng Zhao