DOI,IST REx ID,Title of publication
10.1007/3-540-45061-0_79,4628,Discounting the future in systems theory
10.1007/3-540-45061-0_69,4462,Counterexample-guided control