7 search results - page 2 / 2 » A Temporal Logic Characterisation of Observational Determini... |
CVPR
2011
IEEE
13 years 2 months ago
2011
IEEE
We present a framework for the automatic recognition of complex multi-agent events in settings where structure is imposed by rules that agents must follow while performing activit...
LATA
2009
Springer
14 years 17 days ago
2009
Springer
Abstract. We consider policies that are described by regular expressions, finite automata, or formulae of linear temporal logic (LTL). Such policies are assumed to describe situat...