A Logic for Specifying Stochastic Actions and Observations

Lecture Notes in Computer Science - Foundations of Information and Knowledge Systems ◽

10.1007/978-3-319-04939-7_15 ◽

2014 ◽

pp. 305-323 ◽

Cited By ~ 1

Author(s):

Gavin Rens ◽

Thomas Meyer ◽

Gerhard Lakemeyer

Download Full-text