5216 search results - page 230 / 1044 » Planning as Model Checking |
146
click to vote
DEXAW
2000
IEEE
15 years 8 months ago
2000
IEEE
Intentional agents are charged with generating and executing intentionally plans of action towards the achievement of their goals. They operate in multi-agent systems and situatio...
148
click to vote
UAI
2003
15 years 5 months ago
2003
For a given problem, the optimal Markov policy over a finite horizon is a conditional plan containing a potentially large number of branches. However, there are applications wher...
133
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
Flexibility of business processes requires a modeling language that can distinguish between the stable and flexible parts of a business process. Starting from a general model of bu...
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Checking the equivalence of a system-level model against an RTL design is a major challenge. The reason is that usually the system-level model is written by a system architect, ...