5216 search results - page 218 / 1044 » Planning as Model Checking |
143
click to vote
AAAI
2012
13 years 5 months ago
2012
Recent work on planning in incomplete domains focuses on constructing plans that succeed despite incomplete knowledge of action preconditions and effects. As planning models becom...
123
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We develop a sound foundation for model checking algorithms for the class of PRS-style BDI agents, by showing how a reachability graph for any given PRS-type agent can be construc...
117
click to vote
DSRT
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
118
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— We consider a distributed system modeled as a possibly large network of automata. Planning in this system consists in selecting and organizing actions in order to reach a goal ...
137
Voted
AIIA
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. The paper discusses a distributed approach for monitoring and diagnosing the execution of a plan where concurrent actions are performed by a team of cooperating agents. T...