696 search results - page 13 / 140 » Explaining abstract counterexamples |
DALT
2009
Springer
13 years 10 months ago
2009
Springer
Abstract. Virtual characters in games operate in a social context involving other characters and human players. If such socially situated virtual characters are to be considered be...
CAV
2003
Springer
14 years 19 days ago
2003
Springer
ion and BDDs Complement SAT-based BMC in DiVer Aarti Gupta1, Malay Ganai1 , Chao Wang2, Zijiang Yang1, Pranav Ashar1 1 NEC Laboratories America, Princeton, NJ, U.S.A. 2 University ...
MATES
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. In this paper we focus on explaining to humans the behavior of autonomous agents, i.e., explainable agents. Explainable agents are useful for many reasons including scena...
DAC
2006
ACM
14 years 8 months ago
2006
ACM
Traces Kuntal Nanshi, Fabio Somenzi University of Colorado at Boulder ne abstraction refinement and simulation to provide a more efficient approach to checking invariant properti...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
Abstract. Emergence--macro-level effects from micro-level causes--is at the heart of the conflict between reductionism and functionalism. How can there be autonomous higher level l...