1912 search results - page 72 / 383 » GOAL as a Planning Formalism |
135
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
— This paper presents a strategy for planning robot motions in dynamic, cluttered, and uncertain environments. Successful and efficient operation in such environments requires r...
151
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
The goal of this note is to provide a background and references for the invited lecture presented at Computer Science Logic 2006. We briefly discuss motivations that led to the eme...
192
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
173
click to vote
FM
1991
Springer
15 years 9 months ago
1991
Springer
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
142
click to vote
ESORICS
2004
Springer
15 years 11 months ago
2004
Springer
The use of formal methods to verify security protocols with respect to secrecy and authentication has become standard practice. In contrast, the formalization of other security goa...