1167 search results - page 119 / 234 » A Really Temporal Logic |
166
click to vote
GLVLSI
2007
IEEE
15 years 8 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
162
click to vote
AAAI
2006
15 years 5 months ago
2006
Temporally extended goals (TEGs) refer to properties that must hold over intermediate and/or final states of a plan. The problem of planning with TEGs is of renewed interest becau...
175
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
In this paper, we consider the problem of motion planning for mobile robots with nonlinear hybrid dynamics, and high-level temporal goals. We use a multi-layered synergistic framew...
139
click to vote
AIPS
2006
15 years 5 months ago
2006
Temporally extended goals (TEGs) refer to properties that must hold over intermediate and/or final states of a plan. Current planners for TEGs prune the search space during planni...
117
click to vote
IAT
2008
IEEE
15 years 11 months ago
2008
IEEE
We aim at providing artificial agents with logical tools to reason specifically on privacy-related regulations, in order to comply with them. In order to express these regulatio...