5216 search results - page 418 / 1044 » Planning as Model Checking |
172
click to vote
ATAL
2005
Springer
16 years 29 days ago
2005
Springer
This paper presents the key features of a new negotiation model for autonomous agents. The model is generic, handles multi-party and multi-issue negotiation, acknowledges the role...
217
Voted
IROS
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract— Map information is important for path planning and self-localization when mobile robots accomplish autonomous tasks. In unknown environments, mobile robots should gener...
224
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
217
click to vote
PLDI
2006
ACM
16 years 1 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
190
click to vote
CASSIS
2004
Springer
16 years 25 days ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...