PRALINE: A Tool for Computing Nash Equilibria in Concurrent Games-Reference-Cited by-同舟云学术

PRALINE: A Tool for Computing Nash Equilibria in Concurrent Games

Published:2013 Issue: Volume: Page:890-895
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Brenguier Romain

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-39799-8_63

Reference12 articles.

1. Lecture Notes in Computer Science;P. Bouyer,2010

2. Bouyer, P., Brenguier, R., Markey, N., Ummels, M.: Nash equilibria in concurrent games with Büchi objectives. In: FSTTCS 2011, pp. 375–386. Leibniz-Zentrum für Informatik (2011)

3. Lecture Notes in Computer Science;P. Bouyer,2012

4. Lecture Notes in Computer Science;K. Chatterjee,2005

5. Chen, T., Forejt, V., Kwiatkowska, M., Parker, D., Simaitis, A.: PRISM-games: A model checker for stochastic multi-player games. In: Piterman, N., Smolka, S.A. (eds.) TACAS 2013. LNCS, vol. 7795, pp. 185–191. Springer, Heidelberg (2013)

Cited by 23 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Game-Theoretical Self-Adaptation Framework for Securing Software-Intensive Systems;ACM Transactions on Autonomous and Adaptive Systems;2024-04-20

2. Continuous optimisation problem and game theory for multi-agent pathfinding;International Journal of Game Theory;2023-03-29

3. Cooperative concurrent games;Artificial Intelligence;2023-01

4. Correlated Equilibria and Fairness in Concurrent Stochastic Games;Tools and Algorithms for the Construction and Analysis of Systems;2022

5. Automatic verification of concurrent stochastic systems;Formal Methods in System Design;2021-01-22