Discounting the past in robust finite-state systems | IEEE Conference Publication | IEEE Xplore