book chapter published yes Krishnendu Chatterjee author 2E5DCA20-F248-11E8-B48F-1D18A9856A870000-0002-4561-241X Thomas A Henzinger author 40876CD8-F248-11E8-B48F-1D18A9856A870000−0002−2985−7724 Jan Otop author 2FC5DA74-F248-11E8-B48F-1D18A9856A87 MartenLohstroh editor PatriciaDerler editor MarjanSirjani editor KrCh department ToHe department Rigorous Systems Engineering project Game Theory project Formal methods for the design and analysis of complex systems project Quantitative Graph Games: Theory and Applications project Efficient Algorithms for Computer Aided Verification project Responsiveness—the requirement that every request to a system be eventually handled—is one of the fundamental liveness properties of a reactive system. Average response time is a quantitative measure for the responsiveness requirement used commonly in performance evaluation. We show how average response time can be computed on state-transition graphs, on Markov chains, and on game graphs. In all three cases, we give polynomial-time algorithms. https://research-explorer.ista.ac.at/download/86/7053/2018_PrinciplesModeling_Chatterjee.pdf application/pdfno Springer2018 eng 10.1007/978-3-319-95246-8_9 10760143 - 161 K. Chatterjee, T. A. Henzinger, and J. Otop, “Computing average response time,” in <i>Principles of Modeling</i>, vol. 10760, M. Lohstroh, P. Derler, and M. Sirjani, Eds. Springer, 2018, pp. 143–161. Chatterjee, K., Henzinger, T. A., &#38; Otop, J. (2018). Computing average response time. In M. Lohstroh, P. Derler, &#38; M. Sirjani (Eds.), <i>Principles of Modeling</i> (Vol. 10760, pp. 143–161). Springer. <a href="https://doi.org/10.1007/978-3-319-95246-8_9">https://doi.org/10.1007/978-3-319-95246-8_9</a> Chatterjee K, Henzinger TA, Otop J. Computing average response time. In: Lohstroh M, Derler P, Sirjani M, eds. <i>Principles of Modeling</i>. Vol 10760. Springer; 2018:143-161. doi:<a href="https://doi.org/10.1007/978-3-319-95246-8_9">10.1007/978-3-319-95246-8_9</a> K. Chatterjee, T.A. Henzinger, J. Otop, in:, M. Lohstroh, P. Derler, M. Sirjani (Eds.), Principles of Modeling, Springer, 2018, pp. 143–161. Chatterjee, Krishnendu, et al. “Computing Average Response Time.” <i>Principles of Modeling</i>, edited by Marten Lohstroh et al., vol. 10760, Springer, 2018, pp. 143–61, doi:<a href="https://doi.org/10.1007/978-3-319-95246-8_9">10.1007/978-3-319-95246-8_9</a>. Chatterjee K, Henzinger TA, Otop J. 2018.Computing average response time. In: Principles of Modeling. LNCS, vol. 10760, 143–161. Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Computing Average Response Time.” In <i>Principles of Modeling</i>, edited by Marten Lohstroh, Patricia Derler, and Marjan Sirjani, 10760:143–61. Springer, 2018. <a href="https://doi.org/10.1007/978-3-319-95246-8_9">https://doi.org/10.1007/978-3-319-95246-8_9</a>. 862018-12-11T11:44:33Z2025-04-15T06:26:15Z