Paper: From Verification to Control: Dynamic Programs for Omega-Regular Objectives (at LICS 2001)
Authors: Luca de Alfaro Thomas A. Henzinger Rupak MajumdarAbstract
No Abstract Available
BibTeX
@InProceedings{AlfaroHenzingerMaju-FromVerificationtoC, author = {Luca de Alfaro and Thomas A. Henzinger and Rupak Majumdar}, title = {From Verification to Control: Dynamic Programs for Omega-Regular Objectives}, booktitle = {Proceedings of the Sixteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 2001}, year = 2001, editor = {Joseph Halpern}, month = {June}, pages = {279--290}, location = {Boston, MA, USA}, publisher = {IEEE Computer Society Press} }