A survey of partial-observation stochastic parity games-Reference-Cited by-同舟云学术

A survey of partial-observation stochastic parity games

Published:2012-07-04 Issue:2 Volume:43 Page:268-284
ISSN:0925-9856
Container-title:Formal Methods in System Design
language:en
Short-container-title:Form Methods Syst Des

Author:

Chatterjee Krishnendu,Doyen Laurent,Henzinger Thomas A.

Publisher

Springer Science and Business Media LLC

Subject

Hardware and Architecture,Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/s10703-012-0164-2.pdf

Reference39 articles.

1. Alur R, Henzinger TA, Kupferman O (2002) Alternating-time temporal logic. J ACM 49:672–713

2. LNCS;C Baier,2008

3. Baier C, Größer M (2005) Recognizing omega-regular languages with probabilistic automata. In: LICS, pp 137–146

4. Bertrand N, Genest B, Gimbert H (2009) Qualitative determinacy and decidability of stochastic games with signals. In: LICS. IEEE Comput Soc, Los Alamitos, pp 319–328

5. Berwanger D, Doyen L (2008) On the power of imperfect information. In: FSTTCS, Dagstuhl seminar proceedings 08004. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI)

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

1. Retail Investment under Hidden Business Cycle;SSRN Electronic Journal;2024

2. Model Checking for Probabilistic Multiagent Systems;Journal of Computer Science and Technology;2023-09

3. Synthesis of strategies for autonomous surveillance on adversarial targets;Robotics and Autonomous Systems;2022-07

4. Secure Control in Partially Observable Environments to Satisfy LTL Specifications;IEEE Transactions on Automatic Control;2021-12

5. Stochastic Games with Disjunctions of Multiple Objectives;Electronic Proceedings in Theoretical Computer Science;2021-09-17