A Generic Program for Sequential Decision Processes (1995)

by Oege De Moor
Venue:Programming Languages: Implementations, Logics, and Programs