| LICS Archive |
|---|
| All Conferences |
| Committees |
| Invited Speakers |
| Papers by Author |
| Test-of-Time Award Winners |
| Kleene Award Winners |
No Abstract Available
@InProceedings{BokerHenzingerOtop-TheTargetDiscounted,
author = {Udi Boker and Thomas A. Henzinger and Jan Otop},
title = {The Target Discounted-Sum Problem},
booktitle = {Proceedings of the Thirtieth Annual IEEE Symposium on Logic in Computer Science (LICS 2015)},
year = {2015},
month = {July},
pages = {750--761},
location = {Kyoto, Japan},
publisher = {IEEE Computer Society Press}
}