• Reference Citation Analysis
  • v
  • v
  • Find an Article
Find an Article PDF (4602291)   Today's Articles (5044)   Subscriber (49367)
For: Lahiri SK, Wang C. PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time. Computer Aided Verification 2020. [PMCID: PMC7363194 DOI: 10.1007/978-3-030-53291-8_25] [Citation(s) in RCA: 21] [Impact Index Per Article: 5.3] [Reference Citation Analysis] [What about the content of this article? (0)] [Track Full Text] [Download PDF] [Figures] [Subscribe] [Scholar Register] [Indexed: 11/27/2022]
Number Cited by Other Article(s)
1
Gutierrez J, Kowara S, Kraus S, Steeples T, Wooldridge M. Cooperative concurrent games. ARTIF INTELL 2022. [DOI: 10.1016/j.artint.2022.103806] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/26/2022]
2
Abate A, Gutierrez J, Hammond L, Harrenstein P, Kwiatkowska M, Najib M, Perelli G, Steeples T, Wooldridge M. Rational verification: game-theoretic verification of multi-agent systems. APPL INTELL 2021. [DOI: 10.1007/s10489-021-02658-y] [Citation(s) in RCA: 1] [Impact Index Per Article: 0.3] [Reference Citation Analysis] [Abstract] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 10/20/2022]
3
Groote JF, Larsen KG. Multi-objective Optimization of Long-run Average and Total Rewards. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS 2021. [PMCID: PMC7979241 DOI: 10.1007/978-3-030-72016-2_13] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Abstract] [Track Full Text] [Download PDF] [Subscribe] [Scholar Register] [Indexed: 11/30/2022]
PrevPage 1 of 1 1Next
© 2004-2024 Baishideng Publishing Group Inc. All rights reserved. 7041 Koll Center Parkway, Suite 160, Pleasanton, CA 94566, USA