Home » Research » Research outputs » On the Logical Specification of Probabilistic Transition Models

On the Logical Specification of Probabilistic Transition Models