15644 search results - page 136 / 3129 » Brittle System Analysis |
190
click to vote
JAIR
2002
15 years 6 months ago
2002
Much work in AI deals with the selection of proper actions in a given (known or unknown) environment. However, the way to select a proper action when facing other agents is quite ...
182
click to vote
ICONS
2008
IEEE
16 years 26 days ago
2008
IEEE
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...
194
click to vote
ICRA
2005
IEEE
16 years 13 hour ago
2005
IEEE
— In this paper, two designs for optimal Automated Guided Vehicle (AGV) transportation systems are presented. One is vertical and the other, horizontal. For these systems, the hy...