118 search results - page 3 / 24 » Empirical Analysis for Agent System Comprehension and Verifi... |
CADE
2007
Springer
14 years 5 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
HICSS
2010
IEEE
13 years 10 months ago
2010
IEEE
While many theoretical arguments against or in favor of open source and closed source software development have been presented, the empirical basis for the assessment of arguments...
AAAI
1992
13 years 6 months ago
1992
The family of terminological representation systems has its roots in the representation system kl-one. Since the development of kl-one more than a dozen similar representation sys...
BIRTHDAY
2007
Springer
13 years 9 months ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
The TAC Supply Chain Management (TAC/SCM) game presents a challenging dynamic environment for autonomous decision-making in a salient application domain. Strategic interactions co...