Modeling actions with ramifications in nondeterministic, concurrent, and continuous domains - and a case study

Combining into a consistent theory co-existing models for different phenomena in reasoning about actions can be a problem as challenging as addressing new aspects. We present a uniform theory for reasoning about ac-tions with indirect effects in nondeterministic, concur-rent, and continuous domains. We report on a case study to which our theory has been successfully applied