Quantitative Analysis under Fairness Constraints-Reference-Cited by-同舟云学术

Quantitative Analysis under Fairness Constraints

Published:2009 Issue: Volume: Page:135-150
ISSN:0302-9743
Container-title:Automated Technology for Verification and Analysis
language:
Short-container-title:

Author:

Baier Christel,Groesser Marcus,Ciesinski Frank

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-04761-9_12

Reference39 articles.

1. Alur, R., Henzinger, T.A.: Reactive modules. Formal Methods in System Design: An International Journal 15(1), 7–48 (1999)

2. Lecture Notes in Computer Science;T. Arons,2003

3. Baier, C., Ciesinski, F., Größer, M.: Probmela: a modeling language for communicating probabilistic systems. In: Proc. MEMOCODE (2004)

4. Baier, C., Ciesinski, F., Grösser, M., Klein, J.: Reduction techniques for model checking markov decision processes. In: Proc.QEST 2008. IEEE CS Press, Los Alamitos (2008)

5. Baier, C., D’Argenio, P., Größer, M.: Partial order reduction for probabilistic branching time. In: Proc. QAPL. ENTCS, vol. 153(2) (2006)

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

1. Foundations of probability-raising causality in Markov decision processes;Logical Methods in Computer Science;2024-01-19

2. The 10,000 Facets of MDP Model Checking;Lecture Notes in Computer Science;2019

3. Compositional strategy synthesis for stochastic games with multiple objectives;Information and Computation;2018-08

4. Probabilistic Interface Automata;IEEE Transactions on Software Engineering;2016-09-01

5. Advances in Symbolic Probabilistic Model Checking with PRISM;Tools and Algorithms for the Construction and Analysis of Systems;2016