Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives-Reference-Cited by-同舟云学术

Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives

Published:2015 Issue: Volume: Page:256-271
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Basset Nicolas,Kwiatkowska Marta,Topcu Ufuk,Wiltsche Clemens

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-46681-0_22

Reference16 articles.

1. Lecture Notes in Computer Science;C. Baier,2014

2. Basset, N., Kwiatkowska, M., Topcu, U., Wiltsche, C.: Strategy synthesis for stochastic games with multiple long-run objectives. Technical Report RR-14-10, University of Oxford (2014)

3. Lecture Notes in Computer Science;N. Basset,2014

4. Brázdil, T., Brozek, V., Chatterjee, K., Forejt, V., Kucera, A.: Two views on multiple mean-payoff objectives in Markov decision processes. LMCS 10(1) (2014)

5. Chatterjee, K., Randour, M., Raskin, J.F.: Strategy synthesis for multi-dimensional quantitative objectives. Acta Inf. 51(3-4), 129–163 (2014)

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

1. Auction-Based Scheduling;Lecture Notes in Computer Science;2024

2. Stochastic games with lexicographic objectives;Formal Methods in System Design;2023-03-08

3. Probabilistic Model Checking and Autonomy;Annual Review of Control, Robotics, and Autonomous Systems;2021-12-06

4. Rational verification: game-theoretic verification of multi-agent systems;Applied Intelligence;2021-08-03

5. Markov automata with multiple objectives;Formal Methods in System Design;2021-03-29