Minimum Attention Controller Synthesis for Omega-Regular Objectives (bibtex)
by Krishnendu Chatterjee, Rupak Majumdar
Reference:
Minimum Attention Controller Synthesis for Omega-Regular ObjectivesKrishnendu Chatterjee, Rupak MajumdarFORMATS, pages 145-159, 2011.
Bibtex Entry:
@inproceedings{CM11,
title = {Minimum Attention Controller Synthesis for Omega-Regular Objectives},
ee = {http://dx.doi.org/10.1007/978-3-642-24310-3_11},
booktitle = {FORMATS},
author = {Krishnendu Chatterjee and Rupak Majumdar},
url = {/pubpdf/Minimum_Attention_Controller_Synthesis_For_Omega_Regular_Objectives.pdf},
year = {2011},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {145-159},
crossref = {DBLP:conf/formats/2011},
}
Powered by bibtexbrowser