391 search results - page 27 / 79 » Using computer games for hybrid systems controller synthesis |
118
click to vote
HYBRID
1998
Springer
15 years 4 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
HYBRID
2010
Springer
15 years 6 months ago
2010
Springer
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...
155
click to vote
GECCO
2009
Springer
15 years 6 months ago
2009
Springer
Modern computer games are at the same time an attractive application domain and an interesting testbed for the evolutionary computation techniques. In this paper we apply NeuroEvo...
117
click to vote
JVCA
2006
14 years 11 months ago
2006
Sensing gloves are often used as an input device for virtual 3D games. We propose a new method to control characters such as humans or animals in real-time by using sensing gloves....
CEC
2005
IEEE
15 years 1 months ago
2005
IEEE
Abstract- Interactive combat games are useful as testbeds for learning systems employing evolutionary computation. Of particular value are games that can be modified to accommodate...