5216 search results - page 379 / 1044 » Planning as Model Checking |
188
click to vote
SEFM
2008
IEEE
16 years 19 days ago
2008
IEEE
Formal models of rational user behaviour are essential for user-centred reasoning about interactive systems. At an level, planned behaviour and reactive behaviour are two importan...
162
click to vote
HICSS
2010
IEEE
15 years 11 months ago
2010
IEEE
Enterprise Resource Planning (ERP) systems have received well-deserved attention from both the industry and the research communities, yet the usability of these systems remains a ...
163
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
In field environments it is not usually possible to provide robotic systems with valid geometric models of the task and environment. The robot or robot teams will need to create t...
209
click to vote
HAIS
2011
Springer
14 years 9 months ago
2011
Springer
The modelling of real-world complex systems is an area of ongoing interest for the research community. Real-world systems present a variety of challenges not least of which is the ...
181
click to vote
SAC
2005
ACM
15 years 11 months ago
2005
ACM
This paper describes the use of fault tolerance in a multiagent system. Such an approach is based on the modeling of autonomous agents with planning capabilities. These capabiliti...