C
[CMH08] Krishnendu Chatterjee, Rupak Majumdar et Thomas A. Henzinger. Controller Synthesis with Budget Constraints. In HSCC'08, Lecture Notes in Computer Science 4981. Springer-Verlag, avril 2008. 
@inproceedings{hscc2008-CMH,
  author =              {Chatterjee, Krishnendu and Majumdar, Rupak and
                         Henzinger, Thomas A.},
  title =               {Controller Synthesis with Budget Constraints},
  editor =              {Egerstedt, Magnus and Mishra, Bud},
  booktitle =           {{P}roceedings of the 11th {I}nternational {W}orkshop
                         on {H}ybrid {S}ystems: {C}omputation and {C}ontrol
                         ({HSCC}'08)},
  acronym =             {{HSCC}'08},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {4981},
  year =                {2008},
  month =               apr,
}
Liste des auteurs