B
[BBF+06] Tomáš Brázdil, Václav Brožek, Vojtěch Forejt, and Antonín Kučera. Stochastic Games with Branching-Time Winning Objectives. In LICS'06, pages 349-358. IEEE Comp. Soc. Press, July 2006. 
@inproceedings{lics2006-BBFK,
  author =              {Br{\'a}zdil, Tom{\'a}{\v s} and V{\'a}clav
                         Bro{\v{z}}ek and Forejt, Vojt{\v{e}}ch and Ku{\v
                         c}era, Anton{\'\i}n},
  title =               {Stochastic Games with Branching-Time Winning
                         Objectives},
  booktitle =           {{P}roceedings of the 21st {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'06)},
  acronym =             {{LICS}'06},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {349-358},
  year =                {2006},
  month =               jul,
}
List of authors