1524 search results - page 172 / 305 » Operational Semantics of Hybrid Systems |
IROS
2006
IEEE
15 years 4 months ago
2006
IEEE
Abstract— We present a computational framework for automatic deployment of robots in 2D and 3D rectangular environments with polytopal obstacles. The results are derived for poly...
108
click to vote
FOCI
2007
IEEE
15 years 1 months ago
2007
IEEE
A large body of research has investigated the advantages of combining phenotype adaptation and genotype adaptation. The hybridization of genetic search and local search methods, of...
101
click to vote
ATAL
2008
Springer
14 years 12 months ago
2008
Springer
When human-multiagent teams act in real-time uncertain domains, adjustable autonomy (dynamic transferring of decisions between human and agents) raises three key challenges. First...
SIAMJO
2008
14 years 10 months ago
2008
For the problem of solving maximal monotone inclusions, we present a rather general class of algorithms, which contains hybrid inexact proximal point methods as a special case and ...
104
click to vote
JOLLI
2008
14 years 10 months ago
2008
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statemen...