5216 search results - page 50 / 1044 » Planning as Model Checking |
94
Voted
AAMAS
2007
Springer
15 years 20 days ago
2007
Springer
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...
84
Voted
ECIS
2001
15 years 1 months ago
2001
This paper addresses the issue of operationalising guidelines for IOS planning. The authors explore the usefulness of Triple Loop Learning in light of the IOS development experien...
117
click to vote
CONCUR
2001
Springer
15 years 5 months ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....
99
Voted
CMSB
2008
Springer
15 years 2 months ago
2008
Springer
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...
115
click to vote
KR
2004
Springer
15 years 5 months ago
2004
Springer
To learn to behave in highly complex domains, agents must represent and learn compact models of the world dynamics. In this paper, we present an algorithm for learning probabilist...