Skip to main content
SpringerLink
Log in

With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves

  • Conference paper
  • First Online:
Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2023)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 13910))

  • 173 Accesses

Abstract

This paper coins the notion of Joker games where Player 2 is not strictly adversarial: Player 1 gets help from Player 2 by playing a Joker. We formalize these games as cost games, and study their theoretical properties. Finally, we illustrate their use in model-based testing.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 79.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. The artefact of this paper for reproducing the experimental results of Section 7. https://doi.org/10.5281/zenodo.7712109

  2. Bartocci, E., Bloem, R., Maderbacher, B., Manjunath, N., Ničković, D.: Adaptive testing for specification coverage in CPS models. IFAC-PapersOnLine 54(5), 229–234 (2021). 7th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2021

    Google Scholar 

  3. Bertsekas, D.P.: Dynamic Programming and Optimal Control. Athena Scientific (1998)

    Google Scholar 

  4. Berwanger, D.: Admissibility in infinite games. In: Thomas, W., Weil, P. (eds.) STACS 2007. LNCS, vol. 4393, pp. 188–199. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-70918-3_17

    Chapter  Google Scholar 

  5. Bloem, R., Ehlers, R., Könighofer, R.: Cooperative reactive synthesis. In: Finkbeiner, B., Pu, G., Zhang, L. (eds.) ATVA 2015. LNCS, vol. 9364, pp. 394–410. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-24953-7_29

    Chapter  Google Scholar 

  6. van den Bos, P., Stoelinga, M.: Tester versus bug: a generic framework for model-based testing via games, vol. 277, pp. 118–132 (2018)

    Google Scholar 

  7. van den Bos, P., Stoelinga, M.: With a little help from your friends: semi-cooperative games via joker moves (2023). Extended version with appendix. arXiv:2304.13417

  8. van den Bos, P., Vaandrager, F.: State identification for labeled transition systems with inputs and outputs. Sci. Comput. Program. 209, 102678 (2021)

    Article  Google Scholar 

  9. Brenguier, R., et al.: Non-zero sum games for reactive synthesis. In: Dediu, A.-H., Janoušek, J., Martín-Vide, C., Truthe, B. (eds.) LATA 2016. LNCS, vol. 9618, pp. 3–23. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-30000-9_1

    Chapter  Google Scholar 

  10. Brenguier, R., Pérez, G.A., Raskin, J.-F., Sankur, O.: Admissibility in quantitative graph games. CoRR, abs/1611.08677 (2016)

    Google Scholar 

  11. Chatterjee, K., Henzinger, T.A.: Assume-guarantee synthesis. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 261–275. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-71209-1_21

    Chapter  Google Scholar 

  12. ComMA: Introductory ComMA tutorial. https://www.eclipse.org/comma/tutorial/intro.html

  13. Dallal, E., Neider, D., Tabuada, P.: Synthesis of safety controllers robust to unmodeled intermittent disturbances. In: 2016 IEEE 55th Conference on Decision and Control (CDC), pp. 7425–7430. IEEE (2016)

    Google Scholar 

  14. David, A., Larsen, K.G., Li, S., Nielsen, B.: A game-theoretic approach to real-time system testing. In: Design, Automation and Test in Europe, DATE 2008, pp. 486–491. IEEE (2008)

    Google Scholar 

  15. de Alfaro, L., Henzinger, T.A., Kupferman, O.: Concurrent reachability games. In: FOCS 1998: Proceedings of the 39th Annual Symposium on Foundations of Computer Science, p. 564. IEEE Computer Society (1998)

    Google Scholar 

  16. de Alfaro, L., Stoelinga, M.: Interfaces: a game-theoretic framework for reasoning about component-based systems. Electron. Notes Theor. Comput. Sci. 97, 3–23 (2004)

    Article  Google Scholar 

  17. Faella, M.: Admissible strategies in infinite games over graphs. In: Královič, R., Niwiński, D. (eds.) MFCS 2009. LNCS, vol. 5734, pp. 307–318. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-03816-7_27

    Chapter  Google Scholar 

  18. Fiterău-Broştean, P., Janssen, R., Vaandrager, F.: Combining model learning and model checking to analyze TCP implementations. In: Chaudhuri, S., Farzan, A. (eds.) CAV 2016. LNCS, vol. 9780, pp. 454–471. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-41540-6_25

    Chapter  Google Scholar 

  19. Fokkink, W.: Distributed Algorithms - An Intuitive Approach, 2nd edn (2018)

    Google Scholar 

  20. Hessel, A., Larsen, K.G., Mikucionis, M., Nielsen, B., Pettersson, P., Skou, A.: Testing real-time systems using UPPAAL. In: Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers, pp. 77–117 (2008)

    Google Scholar 

  21. Hughes, J., Pierce, B.C., Arts, T., Norell, U.: Mysteries of dropbox: property-based testing of a distributed synchronization service. In: 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST), pp. 135–145. IEEE (2016)

    Google Scholar 

  22. Kurtev, I., Schuts, M., Hooman, J., Swagerman, D.-J.: Integrating interface modeling and analysis in an industrial setting. In: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - MODELSWARD, pp. 345–352. INSTICC, SciTePress (2017)

    Google Scholar 

  23. Neider, D., Weinert, A., Zimmermann, M.: Synthesizing optimally resilient controllers. Acta Informatica 57(1–2), 195–221 (2020)

    Article  MathSciNet  MATH  Google Scholar 

  24. Tretmans, J., van de Laar, M.: Model-based testing with TorXakis: the mysteries of Dropbox revisited. In: Strahonja, V. (ed.),CECIIS : 30th Central European Conference on Information and Intelligent Systems, 2–4 October 2019, Varazdin, Croatia. Proceedings, pp. 247–258. Faculty of Organization and Informatics, University of Zagreb, Zagreb (2019)

    Google Scholar 

  25. Zhu, Q., Alpcan, T., Panaousis, E., Tambe, M., Casey, W. (eds.): GameSec 2016. LNCS, vol. 9996. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-47413-7

    Book  Google Scholar 

  26. Zielonka, W.: Infinite games on finitely coloured graphs with applications to automata on infinite trees. Theoret. Comput. Sci. 200(1), 135–183 (1998)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Formal Methods and Tools, University of Twente, Enschede, The Netherlands

    Petra van den Bos & Marielle Stoelinga

  2. Department of Software Science, Radboud University, Nijmegen, The Netherlands

    Marielle Stoelinga

Authors
  1. Petra van den Bos
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marielle Stoelinga
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Petra van den Bos .

Editor information

Editors and Affiliations

  1. University of Twente, Enschede, The Netherlands

    Marieke Huisman

  2. NOVA School of Science and Technology and NOVA LINCS, Caparica, Portugal

    António Ravara

Rights and permissions

Reprints and permissions

Copyright information

© 2023 IFIP International Federation for Information Processing

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

van den Bos, P., Stoelinga, M. (2023). With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves. In: Huisman, M., Ravara, A. (eds) Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2023. Lecture Notes in Computer Science, vol 13910. Springer, Cham. https://doi.org/10.1007/978-3-031-35355-0_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-35355-0_10

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-35354-3

  • Online ISBN: 978-3-031-35355-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Societies and partnerships

Search

Navigation