%0 Conference Paper %1 conf/mfcs/BriceRB23 %A Brice, Léonard %A Raskin, Jean-François %A van den Bogaard, Marie %B MFCS %D 2023 %E Leroux, Jérôme %E Lombardy, Sylvain %E Peleg, David %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 26:1-26:15 %T Rational Verification for Nash and Subgame-Perfect Equilibria in Graph Games. %U http://dblp.uni-trier.de/db/conf/mfcs/mfcs2023.html#BriceRB23 %V 272 %@ 978-3-95977-292-1

@inproceedings{conf/mfcs/BriceRB23, added-at = {2023-08-28T00:00:00.000+0200}, author = {Brice, Léonard and Raskin, Jean-François and van den Bogaard, Marie}, biburl = {https://www.bibsonomy.org/bibtex/294cf69eaf9230855194a6ab3c38765be/dblp}, booktitle = {MFCS}, crossref = {conf/mfcs/2023}, editor = {Leroux, Jérôme and Lombardy, Sylvain and Peleg, David}, ee = {https://doi.org/10.4230/LIPIcs.MFCS.2023.26}, interhash = {f17a769646eb7429bceab74e6bf313f4}, intrahash = {94cf69eaf9230855194a6ab3c38765be}, isbn = {978-3-95977-292-1}, keywords = {dblp}, pages = {26:1-26:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-09T16:15:27.000+0200}, title = {Rational Verification for Nash and Subgame-Perfect Equilibria in Graph Games.}, url = {http://dblp.uni-trier.de/db/conf/mfcs/mfcs2023.html#BriceRB23}, volume = 272, year = 2023 }