Abstract – We formalize the concept of domain representation in artificial intelligence, and propose a framework for evaluating representation and comparing alternative represen...
We consider a general model of stochastic discrete event systems with asynchronous events, and propose to develop efficient algorithms for verification and control of such systems...