%0 Conference Paper %1 conf/tacas/BrazdilCFK15 %A Brázdil, Tomás %A Chatterjee, Krishnendu %A Forejt, Vojtech %A Kucera, Antonín %B TACAS %D 2015 %E Baier, Christel %E Tinelli, Cesare %I Springer %K dblp %P 181-187 %T MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2015.html#BrazdilCFK15 %V 9035 %@ 978-3-662-46680-3

@inproceedings{conf/tacas/BrazdilCFK15, added-at = {2019-08-30T00:00:00.000+0200}, author = {Brázdil, Tomás and Chatterjee, Krishnendu and Forejt, Vojtech and Kucera, Antonín}, biburl = {https://www.bibsonomy.org/bibtex/27325ae7eb48a75b74d22e2fcde5f2562/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2015}, editor = {Baier, Christel and Tinelli, Cesare}, ee = {https://doi.org/10.1007/978-3-662-46681-0_12}, interhash = {d1dca3110dbd7d41c11c9cfe92445a44}, intrahash = {7325ae7eb48a75b74d22e2fcde5f2562}, isbn = {978-3-662-46680-3}, keywords = {dblp}, pages = {181-187}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:56:35.000+0200}, title = {MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2015.html#BrazdilCFK15}, volume = 9035, year = 2015 }