A dynamic logic for acting, sensing, and planning (0)

by L Spalazzi, P Traverso
Venue:JLC: Journal of Logic and Computation 10