Show indexed articles as search result.

The articles of mathematical interest will be reviewed individually. For the preceding conference see [Zbl 1369.68011].
Indexed articles:
Chatzikokolakis, Konstantinos, On the additive capacity problem for quantitative information flow, 1-19 [Zbl 1517.94033]
Ábrahám, Erika; Bonakdarpour, Borzoo, HyperPCTL: a temporal logic for probabilistic hyperproperties, 20-35 [Zbl 1514.68030]
Arming, Sebastian; Bartocci, Ezio; Chatterjee, Krishnendu; Katoen, Joost-Pieter; Sokolova, Ana, Parameter-independent strategies for pMDPs via POMDPs, 53-70 [Zbl 1514.68190]
Bacci, Giovanni; Hansen, Mikkel; Larsen, Kim Guldstrand, On the verification of weighted Kripke structures under uncertainty, 71-86 [Zbl 1514.68116]
Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea, Guaranteed error bounds on approximate model abstractions through reachability analysis, 104-121 [Zbl 07703951]
Fu, Hongfei; Li, Yi; Li, Jianlin, Verifying probabilistic timed automata against omega-regular dense-time properties, 122-139 [Zbl 1514.68132]
Gainer, Paul; Hahn, Ernst Moritz; Schewe, Sven, Incremental verification of parametric and reconfigurable Markov chains, 140-156 [Zbl 1514.68133]
Großmann, Gerrit; Kyriakopoulos, Charalampos; Bortolussi, Luca; Wolf, Verena, Lumping the approximate master equation for multistate processes on complex networks, 157-172 [Zbl 1514.90042]
Jing, Yaping; Miner, Andrew S., Action and state based computation tree measurement language and algorithms, 190-206 [Zbl 1514.68135]
Junges, Sebastian; Jansen, Nils; Katoen, Joost-Pieter; Topcu, Ufuk; Zhang, Ruohan; Hayhoe, Mary, Model checking for safe navigation among humans, 207-222 [Zbl 1514.68136]
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Santos, Gabriel, Automated verification of concurrent stochastic games, 223-239 [Zbl 1514.68138]
Lal, Ratan; Prabhakar, Pavithra, Bounded verification of reachability of probabilistic hybrid systems, 240-256 [Zbl 1514.68139]
Marin, Andrea; Rossi, Sabina; Sottana, Matteo, Biased processor sharing in fork-join queues, 273-288 [Zbl 1514.68021]
Milios, Dimitrios; Sanguinetti, Guido; Schnoerr, David, Probabilistic model checking for continuous-time Markov chains via sequential Bayesian inference, 289-305 [Zbl 1514.68141]
Pedersen, Mathias Ruggaard; Bacci, Giorgio; Larsen, Kim Guldstrand; Mardare, Radu, A hemimetric extension of simulation for semi-Markov decision processes, 339-355 [Zbl 1514.68192]
Piho, Paul; Hillston, Jane, Policy synthesis for collective dynamics, 356-372 [Zbl 1514.68179]
Salamati, Mahmoud; Soudjani, Sadegh; Majumdar, Rupak, Approximate time bounded reachability for CTMCs and CTMDPs: a Lyapunov approach, 389-406 [Zbl 1514.68146]