Home » Research » Research outputs » A Logic for Specifying Stochastic Actions and Observations

A Logic for Specifying Stochastic Actions and Observations