A Game-Theoretic Approach for the Synthesis of Complex Systems
In this brief overview, we consider multi-player turn-based infinite-duration games that are played on a finite directed graph and such that each player aims at maximizing a payoff or minimizing a cost. We discuss several solution concepts and present some classical as well as some more recent resul...
Saved in:
| Published in | Revolutions and Revelations in Computability Vol. 13359; pp. 52 - 63 |
|---|---|
| Main Author | |
| Format | Book Chapter |
| Language | English |
| Published |
Switzerland
Springer International Publishing AG
2022
Springer International Publishing |
| Series | Lecture Notes in Computer Science |
| Subjects | |
| Online Access | Get full text |
| ISBN | 3031087399 9783031087394 |
| ISSN | 0302-9743 1611-3349 |
| DOI | 10.1007/978-3-031-08740-0_5 |
Cover
| Abstract | In this brief overview, we consider multi-player turn-based infinite-duration games that are played on a finite directed graph and such that each player aims at maximizing a payoff or minimizing a cost. We discuss several solution concepts and present some classical as well as some more recent results, with a focus on reachability objectives for the players. |
|---|---|
| AbstractList | In this brief overview, we consider multi-player turn-based infinite-duration games that are played on a finite directed graph and such that each player aims at maximizing a payoff or minimizing a cost. We discuss several solution concepts and present some classical as well as some more recent results, with a focus on reachability objectives for the players. |
| Author | Bruyère, Véronique |
| Author_xml | – sequence: 1 givenname: Véronique orcidid: 0000-0002-9680-9140 surname: Bruyère fullname: Bruyère, Véronique email: Veronique.Bruyere@umons.ac.be |
| BookMark | eNo9kMFOwzAMhgMMxDb2BFz6AgEnTprkgjRNMJAmcWCco6x12WBrS1MkeHuyDXGy_Pv_LfsbsUHd1MTYtYAbAWBunbEcOaDgYI0CDl6fsBEm4dDLUzYUuRAcUbmz_wE6N2BDQJDcGYUXbCQwOZSSKC7ZJMZ3AJAG0QozZHfTbB52xJdrajrqN0U2bduuCcU6q5ou69eUvfzUqcRNzJoqmzW7dkvfSYw97eIVO6_CNtLkr47Z68P9cvbIF8_zp9l0wVupoOdB6SonKBVWVlmjS13mOkcLlFtZarLaAhqRHFjoQoXSlEJKF8Cu0GAhcMzEcW9su039Rp1fNc1H9AL8HpVPqDz6BMAf0PiEKmXkMZP--fyi2Hvahwqq-y5si3Voe-qiNyDTjcrn1juHv1M7Zv4 |
| ContentType | Book Chapter |
| Copyright | The Author(s), under exclusive license to Springer Nature Switzerland AG 2022 |
| Copyright_xml | – notice: The Author(s), under exclusive license to Springer Nature Switzerland AG 2022 |
| DBID | FFUUA |
| DEWEY | 004.0151 |
| DOI | 10.1007/978-3-031-08740-0_5 |
| DatabaseName | ProQuest Ebook Central - Book Chapters - Demo use only |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 3031087402 9783031087400 |
| EISSN | 1611-3349 |
| Editor | Manea, Florin Franklin, Johanna N. Y Berger, Ulrich Pauly, Arno |
| Editor_xml | – sequence: 1 fullname: Manea, Florin – sequence: 2 fullname: Berger, Ulrich – sequence: 3 fullname: Pauly, Arno – sequence: 4 fullname: Franklin, Johanna N. Y |
| EndPage | 63 |
| ExternalDocumentID | EBC7022404_68_99 |
| GroupedDBID | 38. AABBV AAZWU ABSVR ABTHU ABVND ACBPT ACPMC ADNVS AEDXK AEJLV AEKFX AFBQG AHVRR AIYYB ALMA_UNASSIGNED_HOLDINGS BBABE CZZ FFUUA IEZ SBO TPJZQ TSXQS Z81 Z83 Z88 -DT -~X 29L 2HA 2HV ACGFS ADCXD EJD F5P LAS LDH P2P RSU ~02 |
| ID | FETCH-LOGICAL-p240t-a45f6e0d43f84875d5d656380e682d5e8580371e0d3c5c4ad7d1229a08b373c13 |
| ISBN | 3031087399 9783031087394 |
| ISSN | 0302-9743 |
| IngestDate | Tue Jul 29 20:11:23 EDT 2025 Tue Jul 22 08:30:05 EDT 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| LCCallNum | QA76.9.A43 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-p240t-a45f6e0d43f84875d5d656380e682d5e8580371e0d3c5c4ad7d1229a08b373c13 |
| Notes | Partially supported by the PDR project Subgame perfection in graph games (F.R.S.-FNRS). |
| OCLC | 1333444231 |
| ORCID | 0000-0002-9680-9140 |
| PQID | EBC7022404_68_99 |
| PageCount | 12 |
| ParticipantIDs | springer_books_10_1007_978_3_031_08740_0_5 proquest_ebookcentralchapters_7022404_68_99 |
| PublicationCentury | 2000 |
| PublicationDate | 2022 20220626 |
| PublicationDateYYYYMMDD | 2022-01-01 2022-06-26 |
| PublicationDate_xml | – year: 2022 text: 2022 |
| PublicationDecade | 2020 |
| PublicationPlace | Switzerland |
| PublicationPlace_xml | – name: Switzerland – name: Cham |
| PublicationSeriesTitle | Lecture Notes in Computer Science |
| PublicationSeriesTitleAlternate | Lect.Notes Computer |
| PublicationSubtitle | 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022, Proceedings |
| PublicationTitle | Revolutions and Revelations in Computability |
| PublicationYear | 2022 |
| Publisher | Springer International Publishing AG Springer International Publishing |
| Publisher_xml | – name: Springer International Publishing AG – name: Springer International Publishing |
| RelatedPersons | Hartmanis, Juris Gao, Wen Steffen, Bernhard Bertino, Elisa Goos, Gerhard Yung, Moti |
| RelatedPersons_xml | – sequence: 1 givenname: Gerhard surname: Goos fullname: Goos, Gerhard – sequence: 2 givenname: Juris surname: Hartmanis fullname: Hartmanis, Juris – sequence: 3 givenname: Elisa surname: Bertino fullname: Bertino, Elisa – sequence: 4 givenname: Wen surname: Gao fullname: Gao, Wen – sequence: 5 givenname: Bernhard orcidid: 0000-0001-9619-1558 surname: Steffen fullname: Steffen, Bernhard – sequence: 6 givenname: Moti orcidid: 0000-0003-0848-0873 surname: Yung fullname: Yung, Moti |
| SSID | ssj0002733817 ssj0002792 |
| Score | 2.0416033 |
| Snippet | In this brief overview, we consider multi-player turn-based infinite-duration games that are played on a finite directed graph and such that each player aims... |
| SourceID | springer proquest |
| SourceType | Publisher |
| StartPage | 52 |
| SubjectTerms | Computer-aided synthesis Games played on graphs Solution concepts |
| Title | A Game-Theoretic Approach for the Synthesis of Complex Systems |
| URI | http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=7022404&ppg=99&c=UERG http://link.springer.com/10.1007/978-3-031-08740-0_5 |
| Volume | 13359 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1Nb9QwELXockEc-BalFPnAicooGzuOcyjSCrVUVemFbdWblTjOCXbRblrR_vrOZOxks3Apl-wqsmJnxhmPZ-Y9M_ZR-bRRps6FhtVEoEcswI2ADy9paqeNclWJAf3v5_rkQp1eZVdDEXuHLmmrz-7un7iS_9Eq3AO9Ikr2AZrtHwo34D_oF66gYbhuOb_jMGugiL2JDw8ow5u-sK2D8uFxDcTCPYAWVte3XWrcUOj5kvLkyI9Lxdf99JkdfCt_eTGPOEd0Vwl8FesSf9wu4CfwmWBvP_2fEQE6isCvD89CluJ82fqNkflVtCubgQfYsyZaELp9FHjcCl0O0bPRTlUiBanJJZ1oHBFbYI1hP0MGzpMB1kirKInGNBhVorgNyzOZw78M_2atB3QlEjxqUCQ222E70PuEPZ4dnZ5d9uE38NqQm7BftJFHkRJONCSEAcUhF0TUNLxCz15FBMVbPY72Klvp9c5rmT9nTxHJwhFiArJ7wR75xUv2LIqfB_G_Yl9mfKxsHpXNQdkctMx7ZfNlw4OyeVD2a3ZxfDT_eiLCuRriN_hvrShV1mif1Eo2Br_OOqvBq5cm8dqkdeZNZpDIEVpIlzlV1nk9TdOiTEwlc-mm8g2bLJYL_5Zx5wutPOwSwJFWOi2qyoBVr1Q6lZly0uyygygL22X_Q8mxozdf27zzKZXVxhbFLvsUxWWx8dpGUm0Qs5UWxGw7MVsQ87uHNN5jT4Yp_J5N2tW13wdvsq0-hJlxDyRVaZI |
| linkProvider | Library Specific Holdings |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.title=Revolutions+and+Revelations+in+Computability&rft.au=Bruy%C3%A8re%2C+V%C3%A9ronique&rft.atitle=A+Game-Theoretic+Approach+for+the+Synthesis+of+Complex+Systems&rft.series=Lecture+Notes+in+Computer+Science&rft.date=2022-06-26&rft.pub=Springer+International+Publishing&rft.isbn=9783031087394&rft.issn=0302-9743&rft.eissn=1611-3349&rft.spage=52&rft.epage=63&rft_id=info:doi/10.1007%2F978-3-031-08740-0_5 |
| thumbnail_s | http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F7022404-l.jpg |