Learn More
ion obviously has no impact on Markovian transitions. It is thus easily adapted from Definition 2.1.4. Definition 4.2.3. Let P be an IMC with state space SP . Abstraction of actions a1 . . . an in P(More)