%0 Conference Paper %1 conf/hybrid/BalsEKW24a %A Bals, Severin %A Evangelidis, Alexandros %A Kretínský, Jan %A Waibel, Jakob %B HSCC %D 2024 %E Ábrahám, Erika %E Jr., Manuel Mazo %I ACM %K dblp %P 33:1-33:2 %T Poster Abstract: MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2024.html#BalsEKW24a

@inproceedings{conf/hybrid/BalsEKW24a, added-at = {2024-05-17T00:00:00.000+0200}, author = {Bals, Severin and Evangelidis, Alexandros and Kretínský, Jan and Waibel, Jakob}, biburl = {https://www.bibsonomy.org/bibtex/2891e118985f59dfde8df2661dfa31e9d/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2024}, editor = {Ábrahám, Erika and Jr., Manuel Mazo}, ee = {https://doi.org/10.1145/3641513.3652535}, interhash = {3b839a078d87b68ac666981ad883f419}, intrahash = {891e118985f59dfde8df2661dfa31e9d}, keywords = {dblp}, pages = {33:1-33:2}, publisher = {ACM}, timestamp = {2024-05-20T07:21:08.000+0200}, title = {Poster Abstract: MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2024.html#BalsEKW24a}, year = 2024 }