Approximate policy iteration for Markov decision processes via quantitative adaptive aggregations by Abate, A, Češka, M, Kwiatkowska, M

Robustness analysis of stochastic biochemical systems by Česka, M, Šafránek, D, Dražan, S, Brim, L

Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking by Brim, L, Češka, M, Dražan, S, Šafránek, D

Designing Fast LTL Model Checking Algorithms for Many−Core GPUs by Barnat, J, Bauch, P, Brim, L, Češka, M

Precise Parameter Synthesis for Stochastic Biochemical Systems by Češka, M, Dannenberg, F, Kwiatkowska, M, Paoletti, N

Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks by Abate, A, Brim, L, Ceska, M, Kwiatkowska, M

Precise Parameter Synthesis for Stochastic Biochemical Systems by Češka, M, Dannenberg, F, Kwiatkowska, M, Paoletti, N

Computing Strongly Connected Components in Parallel on CUDA by Barnat, J, Bauch, P, Brim, L, Češka, M

Precise Parameter Synthesis for Stochastic Biochemical Systems by Ceska, M, Dannenberg, F, Kwiatkowska, M, Paoletti, N

RODES: A robust-design synthesis tool for probabilistic systems by Calinescu, R, Česká, M, Gerasimou, S, Kwiatkowska, M, Paoletti, N

Adaptive formal approximations of Markov chains by Abate, A, Andriushchenko, R, Ceska, M, Kwiatkowska, M, Palmer, T

Efficient synthesis of robust models for stochastic systems by Calinescu, R, Ceska, M, Gerasimou, S, Kwiatkowska, M, Paoletti, N

Designing robust software systems through parametric markov chain synthesis by Kwiatkowska, M, Calinescu, R, Ceska, M, Gerasimou, S, Paoletti, N

Precise parameter synthesis for stochastic biochemical systems by Kwiatkowska, M, Ceska, M, Dannenberg, F, Paoletti, N, Brim, L

PRISM-PSY: Precise GPU-accelerated parameter synthesis for stochastic systems by Češka, M, Pilar, P, Paoletti, N, Brim, L, Kwiatkowska, M

Reachability computation for switching diffusions: finite abstractions with certifiable and tuneable precision by Laurenti, L, Abate, A, Bortolussi, L, Kwiatkowska, M, Cardelli, L, Ceska, M

Reachability computation for switching diffusions: Finite abstractions with certifiable and tuneable precision by Laurenti, L, Abate, A, Bortolussi, L, Cardelli, L, Ceska, M, Kwiatkowska, M

Syntax-guided optimal synthesis for chemical reaction networks by Cardelli, L, Ceska, M, Fraenzle, M, Kwiatkowska, M, Laurenti, L, Paoletti, N, Whitby, M

Tools at the frontiers of quantitative verification: QComp 2023 competition report by Andriushchenko, R, Bork, A, Budde, CE, Češka,, M, Grover, K, Hahn, EM, Hartmanns, A, Israelsen, B, Jansen, N, Jeppson, J, Junges, S, Köhl, MA, Könighofer, B, Křetínský, J, Meggendorfer, T, Parker, D, Pranger, S, Quatmann, T, Ruijters, E, Taylor, L, Volk, M, Weininger, M, Zhang, Z