QUASY: Quantitative synthesis tool

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6605 LNCS, Issue , 2011, Pages 267-271

  Chatterjee, Krishnendu ^a   Henzinger, Thomas A ^a,b   Jobstmann, Barbara ^c   Singh, Rohit ^d  

^a INSTITUTE OF SCIENCE AND TECHNOLOGY AUSTRIA   (Austria)

^b EPFL   (Switzerland)

^c VERIMAG   (France)

^d INDIAN INSTITUTE OF TECHNOLOGY BOMBAY   (India)

Author keywords

[No Author keywords available]

Indexed keywords

ERGODICS; INPUT SEQUENCE; MARKOV DECISION PROCESSES; SYNTHESIS PROBLEMS; SYNTHESIS TOOL;

ALGORITHMS; MARKOV PROCESSES; PROBABILITY DISTRIBUTIONS;

SPECIFICATIONS;

EID: 79953193806     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-19835-9_24     Document Type: Conference Paper

References (12)

1. Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P.: Performance evaluation and model checking join forces. Commun. ACM 53(9) (2010)
2. Behrmann, G., Bengtsson, J., David, A., Larsen, K.G., Pettersson, P., Yi,W.: UPPAAL implementation secrets. In: Formal Techniques in Real-Time and Fault Tolerant Systems (2002)
3. Bloem, R., Chatterjee, K., Henzinger, T.A., Jobstmann, B.: Better quality in synthesis through quantitative objectives. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 140-156. Springer, Heidelberg (2009)
4. Bloem, R., Greimel, K., Henzinger, T.A., Jobstmann, B.: Synthesizing robust systems. In: FMCAD (2009)
5. Brim, L., Chaloupka, J.: Using strategy improvement to stay alive. CoRR, 1006.1405 (2010)
6. Černý, P., Chatterjee, K., Henzinger, T., Radhakrishna, A., Singh, R.: Quantitative synthesis for concurrent programs. Technical Report IST-2010-0004, IST Austria (2010)
7. Chatterjee, K., Henzinger, T.A., Jobstmann, B., Singh, R.: Measuring and synthesizing systems in probabilistic environments. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 380-395. Springer, Heidelberg (2010)
8. Feinberg, E.A., Shwartz, A.: Handbook of Markov Decision Processes: Methods and Applications. Springer, Heidelberg (2001)
9. Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A tool for automatic verification of probabilistic systems. In: Hermanns, H. (ed.) TACAS 2006. LNCS, vol. 3920, pp. 441-444. Springer, Heidelberg (2006)
10. The Scala programming language, http://www.scala-lang.org/
11. Wimmer, R., Braitling, B., Becker, B., Hahn, E.M., Crouzen, P., Hermanns, H., Dhama, A., Theel, O.: Symblicit calculation of long-run averages for concurrent probabilistic systems. In: QEST (2010)
12. Zwick, U., Paterson, M.: The complexity of mean payoff games on graphs. Theor. Comput. Sci. 158(1-2), 343-359 (1996)