Landes, Jürgen; Rad, Soroush Rafiee; Williamson, Jon Towards the entropy-limit conjecture. (English) Zbl 07285670 Ann. Pure Appl. Logic 172, No. 2, Article ID 102870, 39 p. (2021). MSC: 03A10 03B60 03B42 60A05 PDF BibTeX XML Cite \textit{J. Landes} et al., Ann. Pure Appl. Logic 172, No. 2, Article ID 102870, 39 p. (2021; Zbl 07285670) Full Text: DOI
Tomović, S.; Ognjanović, Z.; Doder, D. A first-order logic for reasoning about knowledge and probability. (English) Zbl 1446.03038 ACM Trans. Comput. Log. 21, No. 2, Article No. 16, 30 p. (2020). MSC: 03B42 03B48 68T27 68T42 PDF BibTeX XML Cite \textit{S. Tomović} et al., ACM Trans. Comput. Log. 21, No. 2, Article No. 16, 30 p. (2020; Zbl 1446.03038) Full Text: DOI
Klauck, Michaela; Steinmetz, Marcel; Hoffmann, Jörg; Hermanns, Holger Bridging the gap between probabilistic model checking and probabilistic planning: survey, compilations, and empirical comparison. (English) Zbl 1445.68134 J. Artif. Intell. Res. (JAIR) 68, 247-310 (2020). MSC: 68Q60 68Q87 68T20 PDF BibTeX XML Cite \textit{M. Klauck} et al., J. Artif. Intell. Res. (JAIR) 68, 247--310 (2020; Zbl 1445.68134) Full Text: DOI
Baldi, Paolo; Hosni, Hykel Depth-bounded belief functions. (English) Zbl 1445.68215 Int. J. Approx. Reasoning 123, 26-40 (2020). MSC: 68T37 PDF BibTeX XML Cite \textit{P. Baldi} and \textit{H. Hosni}, Int. J. Approx. Reasoning 123, 26--40 (2020; Zbl 1445.68215) Full Text: DOI
Baier, Christel; Hensel, Christian; Hutschenreiter, Lisa; Junges, Sebastian; Katoen, Joost-Pieter; Klein, Joachim Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. (English) Zbl 1443.68101 Inf. Comput. 272, Article ID 104504, 26 p. (2020). MSC: 68Q60 03B44 60J10 68Q25 68Q87 PDF BibTeX XML Cite \textit{C. Baier} et al., Inf. Comput. 272, Article ID 104504, 26 p. (2020; Zbl 1443.68101) Full Text: DOI
Ikodinović, Nebojša; Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag Completeness theorems for \(\sigma \)-additive probabilistic semantics. (English) Zbl 1452.03064 Ann. Pure Appl. Logic 171, No. 4, Article ID 102755, 27 p. (2020). Reviewer: Jürgen Landes (München) MSC: 03B48 03B42 03C10 PDF BibTeX XML Cite \textit{N. Ikodinović} et al., Ann. Pure Appl. Logic 171, No. 4, Article ID 102755, 27 p. (2020; Zbl 1452.03064) Full Text: DOI
Dorninger, Dietmar; Länger, Helmut Quantum logics defined by sets of numerical events. (English) Zbl 1441.81013 Rep. Math. Phys. 83, No. 2, 243-251 (2019). MSC: 81P16 PDF BibTeX XML Cite \textit{D. Dorninger} and \textit{H. Länger}, Rep. Math. Phys. 83, No. 2, 243--251 (2019; Zbl 1441.81013) Full Text: DOI
Dunn, J. Michael; Kiefer, Nicholas M. Contradictory information: better than nothing? The paradox of the two firefighters. (English) Zbl 07229646 Başkent, Can (ed.) et al., Graham Priest on dialetheism and paraconsistency. Cham: Springer (ISBN 978-3-030-25364-6/hbk; 978-3-030-25365-3/ebook). Outstanding Contributions to Logic 18, 231-247 (2019). MSC: 03A05 PDF BibTeX XML Cite \textit{J. M. Dunn} and \textit{N. M. Kiefer}, Outst. Contrib. Log. 18, 231--247 (2019; Zbl 07229646) Full Text: DOI
Spel, Jip; Junges, Sebastian; Katoen, Joost-Pieter Are parametric Markov chains monotonic? (English) Zbl 1437.68121 Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 479-496 (2019). MSC: 68Q60 60J10 68Q87 PDF BibTeX XML Cite \textit{J. Spel} et al., Lect. Notes Comput. Sci. 11781, 479--496 (2019; Zbl 1437.68121) Full Text: DOI
Achimescu, Andreea; Baltag, Alexandru; Sack, Joshua The probabilistic logic of communication and change. (English) Zbl 1444.03020 J. Log. Comput. 29, No. 7, 1015-1040 (2019). MSC: 03B42 03B48 03B25 68T27 68T42 PDF BibTeX XML Cite \textit{A. Achimescu} et al., J. Log. Comput. 29, No. 7, 1015--1040 (2019; Zbl 1444.03020) Full Text: DOI
Boge, Florian J. Quantum information versus epistemic logic: an analysis of the frauchiger-Renner theorem. (English) Zbl 07155111 Found. Phys. 49, No. 10, 1143-1165 (2019). MSC: 03A 03B 03A05 03B42 03B48 PDF BibTeX XML Cite \textit{F. J. Boge}, Found. Phys. 49, No. 10, 1143--1165 (2019; Zbl 07155111) Full Text: DOI
Conradie, Willem; Frittella, Sabine; Palmigiano, Alessandra; Tzimoulis, Apostolos; Wijnberg, Nachoem Probabilistic epistemic updates on algebras. (English) Zbl 1433.03043 ACM Trans. Comput. Log. 20, No. 4, Article No. 24, 75 p. (2019). MSC: 03B42 03B48 06D20 06D50 03B20 PDF BibTeX XML Cite \textit{W. Conradie} et al., ACM Trans. Comput. Log. 20, No. 4, Article No. 24, 75 p. (2019; Zbl 1433.03043) Full Text: DOI arXiv
Wang, Yu; Roohi, Nima; West, Matthew; Viswanathan, Mahesh; Dullerud, Geir E. Statistical verification of PCTL using antithetic and stratified samples. (English) Zbl 1425.68270 Form. Methods Syst. Des. 54, No. 2, 145-163 (2019). MSC: 68Q60 03B44 60J20 68Q87 PDF BibTeX XML Cite \textit{Y. Wang} et al., Form. Methods Syst. Des. 54, No. 2, 145--163 (2019; Zbl 1425.68270) Full Text: DOI
Camacho, Carlos; Llana, Luis; Núñez, Alberto; Bravetti, Mario Probabilistic software product lines. (English) Zbl 1431.68017 J. Log. Algebr. Methods Program. 107, 54-78 (2019). MSC: 68N30 68Q55 68Q60 68Q87 PDF BibTeX XML Cite \textit{C. Camacho} et al., J. Log. Algebr. Methods Program. 107, 54--78 (2019; Zbl 1431.68017) Full Text: DOI
Polkowski, Lech Introducing mass-based rough mereology in a mereological universe with relations to fuzzy logics and a generalization of the Łukasiewicz logical foundations of probability. (English) Zbl 1423.68484 Fundam. Inform. 166, No. 3, 227-249 (2019). MSC: 68T27 03B52 60A99 68T30 68T37 68T40 PDF BibTeX XML Cite \textit{L. Polkowski}, Fundam. Inform. 166, No. 3, 227--249 (2019; Zbl 1423.68484) Full Text: DOI
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph On the hardness of analyzing probabilistic programs. (English) Zbl 1417.68054 Acta Inf. 56, No. 3, 255-285 (2019). MSC: 68Q17 68N30 68Q60 68Q87 PDF BibTeX XML Cite \textit{B. L. Kaminski} et al., Acta Inf. 56, No. 3, 255--285 (2019; Zbl 1417.68054) Full Text: DOI
Aguzzoli, Stefano; Bianchi, Matteo; Gerla, Brunella; Valota, Diego Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics. (English) Zbl 1454.03035 Int. J. Approx. Reasoning 104, 57-74 (2019). MSC: 03B52 PDF BibTeX XML Cite \textit{S. Aguzzoli} et al., Int. J. Approx. Reasoning 104, 57--74 (2019; Zbl 1454.03035) Full Text: DOI
Baghoolizadeh, Shirin; Movaghar, Ali; Majidi, Negin A uniformization-based algorithm for continuous-time stochastic games model checking. (English) Zbl 1410.68215 Theor. Comput. Sci. 756, 1-18 (2019). MSC: 68Q60 91A15 91A80 PDF BibTeX XML Cite \textit{S. Baghoolizadeh} et al., Theor. Comput. Sci. 756, 1--18 (2019; Zbl 1410.68215) Full Text: DOI
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu Converging from branching to linear metrics on Markov chains. (English) Zbl 1407.68278 Math. Struct. Comput. Sci. 29, No. 1, 3-37 (2019). MSC: 68Q60 03B44 68Q87 PDF BibTeX XML Cite \textit{G. Bacci} et al., Math. Struct. Comput. Sci. 29, No. 1, 3--37 (2019; Zbl 1407.68278) Full Text: DOI
Mio, Matteo Riesz modal logic with threshold operators. (English) Zbl 1453.03017 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 710-719 (2018). MSC: 03B45 03B48 PDF BibTeX XML Cite \textit{M. Mio}, in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 710--719 (2018; Zbl 1453.03017) Full Text: DOI
Schurz, Gerhard; Adams, Ernest Measure-entailment and support in the logic of approximate generalizations. (English) Zbl 1429.03070 Florio, Ciro de (ed.) et al., From arithmetic to metaphysics. A path through philosophical logic. In honor of Sergio Galvan. Berlin: De Gruyter. Philos. Anal. 73, 341-371 (2018). MSC: 03B42 03B48 PDF BibTeX XML Cite \textit{G. Schurz} and \textit{E. Adams}, Philos. Anal. 73, 341--371 (2018; Zbl 1429.03070) Full Text: DOI
Payette, Gillman Ramifications of imposing uniform responsibility on collective action. (English) Zbl 1436.03064 Log. Anal., Nouv. Sér. 61, No. 243, 237-268 (2018). MSC: 03A05 03B48 03B42 PDF BibTeX XML Cite \textit{G. Payette}, Log. Anal., Nouv. Sér. 61, No. 243, 237--268 (2018; Zbl 1436.03064) Full Text: DOI
Bortolussi, Luca; Silvetti, Simone Bayesian statistical parameter synthesis for linear temporal properties of stochastic models. (English) Zbl 1423.68322 Beyer, Dirk (ed.) et al., Tools and algorithms for the construction and analysis of systems. 24th international conference, TACAS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10806, 396-413 (2018). MSC: 68Q87 68Q60 68T05 PDF BibTeX XML Cite \textit{L. Bortolussi} and \textit{S. Silvetti}, Lect. Notes Comput. Sci. 10806, 396--413 (2018; Zbl 1423.68322) Full Text: DOI
de Bona, Glauber; Finger, Marcelo; Potyka, Nico; Thimm, Matthias Inconsistency measurement in probabilistic logic. (English) Zbl 1451.68259 Grant, John (ed.) et al., Measuring inconsistency in information. London: College Publications. Stud. Log. (Lond.) 73, 235-269 (2018). MSC: 68T27 03B48 03B53 PDF BibTeX XML Cite \textit{G. de Bona} et al., in: Measuring inconsistency in information. London: College Publications. 235--269 (2018; Zbl 1451.68259)
Flaminio, Tommaso; Godo, Lluis; Ugolini, Sara Towards a probability theory for product logic: states, integral representation and reasoning. (English) Zbl 1448.60006 Int. J. Approx. Reasoning 93, 199-218 (2018); corrigendum ibid. 103, 267-269 (2018). MSC: 60A86 PDF BibTeX XML Cite \textit{T. Flaminio} et al., Int. J. Approx. Reasoning 93, 199--218 (2018; Zbl 1448.60006) Full Text: DOI
Douven, Igor; Rott, Hans From probabilities to categorical beliefs: going beyond toy models. (English) Zbl 1444.03027 J. Log. Comput. 28, No. 6, 1099-1124 (2018). MSC: 03B42 03A05 03B48 60A05 PDF BibTeX XML Cite \textit{I. Douven} and \textit{H. Rott}, J. Log. Comput. 28, No. 6, 1099--1124 (2018; Zbl 1444.03027) Full Text: DOI
Dietrich, Franz Savage’s theorem under changing awareness. (English) Zbl 1419.91213 J. Econ. Theory 176, 1-54 (2018). MSC: 91B06 03B42 91B16 PDF BibTeX XML Cite \textit{F. Dietrich}, J. Econ. Theory 176, 1--54 (2018; Zbl 1419.91213) Full Text: DOI
Maximova, Maria; Giese, Holger; Krause, Christian Probabilistic timed graph transformation systems. (English) Zbl 1400.68058 J. Log. Algebr. Methods Program. 101, 110-131 (2018). MSC: 68N30 68Q42 68Q45 68Q60 68Q87 PDF BibTeX XML Cite \textit{M. Maximova} et al., J. Log. Algebr. Methods Program. 101, 110--131 (2018; Zbl 1400.68058) Full Text: DOI
Brickhill, Hazel; Horsten, Leon Triangulating non-Archimedean probability. (English) Zbl 06965271 Rev. Symb. Log. 11, No. 3, 519-546 (2018). MSC: 03B42 26A30 28E05 60A05 PDF BibTeX XML Cite \textit{H. Brickhill} and \textit{L. Horsten}, Rev. Symb. Log. 11, No. 3, 519--546 (2018; Zbl 06965271) Full Text: DOI
Jing, Yaping; Miner, Andrew S. Computation tree measurement language (CTML). (English) Zbl 1398.68344 Formal Asp. Comput. 30, No. 3-4, 443-462 (2018). MSC: 68Q60 68Q87 PDF BibTeX XML Cite \textit{Y. Jing} and \textit{A. S. Miner}, Formal Asp. Comput. 30, No. 3--4, 443--462 (2018; Zbl 1398.68344) Full Text: DOI
Bortolussi, Luca; Lanciani, Roberta; Nenzi, Laura Model checking Markov population models by stochastic approximations. (English) Zbl 1400.68120 Inf. Comput. 262, Part 2, 189-220 (2018). MSC: 68Q60 60J28 68Q45 68Q87 PDF BibTeX XML Cite \textit{L. Bortolussi} et al., Inf. Comput. 262, Part 2, 189--220 (2018; Zbl 1400.68120) Full Text: DOI
Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun The quest for minimal quotients for probabilistic and Markov automata. (English) Zbl 1400.68132 Inf. Comput. 262, Part 1, 162-186 (2018). MSC: 68Q85 68Q45 68Q60 68Q87 PDF BibTeX XML Cite \textit{C. Eisentraut} et al., Inf. Comput. 262, Part 1, 162--186 (2018; Zbl 1400.68132) Full Text: DOI
Bart, Anicet; Delahaye, Benoît; Fournier, Paulin; Lime, Didier; Monfroy, Éric; Truchet, Charlotte Reachability in parametric interval Markov chains using constraints. (English) Zbl 1400.68118 Theor. Comput. Sci. 747, 48-74 (2018). MSC: 68Q60 68Q85 68Q87 PDF BibTeX XML Cite \textit{A. Bart} et al., Theor. Comput. Sci. 747, 48--74 (2018; Zbl 1400.68118) Full Text: DOI
Baier, Christel; de Alfaro, Luca; Forejt, Vojtěch; Kwiatkowska, Marta Model checking probabilistic systems. (English) Zbl 1392.68227 Clarke, Edmund M. (ed.) et al., Handbook of model checking. Cham: Springer (ISBN 978-3-319-10574-1/hbk; 978-3-319-10575-8/ebook). 963-999 (2018). MSC: 68Q60 68Q87 PDF BibTeX XML Cite \textit{C. Baier} et al., in: Handbook of model checking. Cham: Springer. 963--999 (2018; Zbl 1392.68227) Full Text: DOI
Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Carlier, Pierre When are stochastic transition systems tameable? (English) Zbl 1394.68243 J. Log. Algebr. Methods Program. 99, 41-96 (2018). MSC: 68Q85 60J20 68Q45 68Q60 68Q87 PDF BibTeX XML Cite \textit{N. Bertrand} et al., J. Log. Algebr. Methods Program. 99, 41--96 (2018; Zbl 1394.68243) Full Text: DOI
Haddad, Serge; Monmege, Benjamin Interval iteration algorithm for MDPs and IMDPs. (English) Zbl 1393.68103 Theor. Comput. Sci. 735, 111-131 (2018). MSC: 68Q60 68Q87 PDF BibTeX XML Cite \textit{S. Haddad} and \textit{B. Monmege}, Theor. Comput. Sci. 735, 111--131 (2018; Zbl 1393.68103) Full Text: DOI
Jovanović, Aleksandra; Kwiatkowska, Marta Parameter synthesis for probabilistic timed automata using stochastic game abstractions. (English) Zbl 1393.68096 Theor. Comput. Sci. 735, 64-81 (2018). MSC: 68Q45 68Q60 68Q87 91A15 PDF BibTeX XML Cite \textit{A. Jovanović} and \textit{M. Kwiatkowska}, Theor. Comput. Sci. 735, 64--81 (2018; Zbl 1393.68096) Full Text: DOI
Guan, Ji; Feng, Yuan; Ying, Mingsheng Decomposition of quantum Markov chains and its applications. (English) Zbl 1391.68079 J. Comput. Syst. Sci. 95, 55-68 (2018). MSC: 68Q60 60J10 68Q12 68Q85 68Q87 81P68 81S25 PDF BibTeX XML Cite \textit{J. Guan} et al., J. Comput. Syst. Sci. 95, 55--68 (2018; Zbl 1391.68079) Full Text: DOI
Flaminio, Tommaso; Hosni, Hykel; Montagna, Franco Strict coherence on many-valued events. (English) Zbl 1447.03001 J. Symb. Log. 83, No. 1, 55-69 (2018). MSC: 03B48 03B50 60A05 06D35 06F20 52B11 PDF BibTeX XML Cite \textit{T. Flaminio} et al., J. Symb. Log. 83, No. 1, 55--69 (2018; Zbl 1447.03001) Full Text: DOI
Kupferman, Orna; Vardi, Gal On relative and probabilistic finite counterability. (English) Zbl 1390.68433 Form. Methods Syst. Des. 52, No. 2, 117-146 (2018). MSC: 68Q60 03B44 68Q45 PDF BibTeX XML Cite \textit{O. Kupferman} and \textit{G. Vardi}, Form. Methods Syst. Des. 52, No. 2, 117--146 (2018; Zbl 1390.68433) Full Text: DOI
Neapolitan, Richard E.; Jiang, Xia Artificial intelligence: with an introduction to machine learning. 2nd edition of the book previously published under the title ‘Contemporary artificial intelligence’. (English) Zbl 1394.68001 Chapman & Hall/CRC Artificial Intelligence and Robotics Series. Boca Raton, FL: CRC Press (ISBN 978-1-138-50238-3/hbk; 978-1-351-38439-1/ebook). xiii, 466 p. (2018). Reviewer: Christian Posthoff (St. Augustine) MSC: 68-01 68Txx PDF BibTeX XML Cite \textit{R. E. Neapolitan} and \textit{X. Jiang}, Artificial intelligence: with an introduction to machine learning. 2nd edition of the book previously published under the title `Contemporary artificial intelligence'. Boca Raton, FL: CRC Press (2018; Zbl 1394.68001) Full Text: Link
Wright, Jonathan Rigged lotteries: a diachronic problem for reducing belief to credence. (English) Zbl 06853399 Synthese 195, No. 3, 1355-1373 (2018). MSC: 03B42 03B48 03A05 60A05 PDF BibTeX XML Cite \textit{J. Wright}, Synthese 195, No. 3, 1355--1373 (2018; Zbl 06853399) Full Text: DOI
Chatzieleftheriou, G.; Katsaros, P. Abstract model repair for probabilistic systems. (English) Zbl 1388.68185 Inf. Comput. 259, Part 1, 142-160 (2018). MSC: 68Q60 03B44 60J20 68Q87 PDF BibTeX XML Cite \textit{G. Chatzieleftheriou} and \textit{P. Katsaros}, Inf. Comput. 259, Part 1, 142--160 (2018; Zbl 1388.68185) Full Text: DOI
Gerhold, Marcus; Stoelinga, Mariëlle Model-based testing of probabilistic systems. (English) Zbl 1380.68303 Formal Asp. Comput. 30, No. 1, 77-106 (2018). MSC: 68Q87 68M15 68Q45 68Q60 PDF BibTeX XML Cite \textit{M. Gerhold} and \textit{M. Stoelinga}, Formal Asp. Comput. 30, No. 1, 77--106 (2018; Zbl 1380.68303) Full Text: DOI
Gebler, Daniel; Tini, Simone SOS specifications for uniformly continuous operators. (English) Zbl 1380.68296 J. Comput. Syst. Sci. 92, 113-151 (2018). MSC: 68Q85 68Q55 68Q60 68Q87 PDF BibTeX XML Cite \textit{D. Gebler} and \textit{S. Tini}, J. Comput. Syst. Sci. 92, 113--151 (2018; Zbl 1380.68296) Full Text: DOI
Cubuktepe, Murat; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter; Papusha, Ivan; Poonawala, Hasan A.; Topcu, Ufuk Sequential convex programming for the efficient verification of parametric MDPs. (English) Zbl 1452.68117 Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 10206, 133-150 (2017). MSC: 68Q60 68Q87 90C25 PDF BibTeX XML Cite \textit{M. Cubuktepe} et al., Lect. Notes Comput. Sci. 10206, 133--150 (2017; Zbl 1452.68117) Full Text: DOI
Kini, Dileep; Viswanathan, Mahesh Optimal translation of LTL to limit deterministic automata. (English) Zbl 1452.68121 Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 10206, 113-129 (2017). MSC: 68Q60 03B44 68Q45 68Q87 PDF BibTeX XML Cite \textit{D. Kini} and \textit{M. Viswanathan}, Lect. Notes Comput. Sci. 10206, 113--129 (2017; Zbl 1452.68121) Full Text: DOI
Lengál, Ondřej; Lin, Anthony W.; Majumdar, Rupak; Rümmer, Philipp Fair termination for parameterized probabilistic concurrent systems. (English) Zbl 1452.68127 Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 499-517 (2017). MSC: 68Q85 68Q60 68Q87 PDF BibTeX XML Cite \textit{O. Lengál} et al., Lect. Notes Comput. Sci. 10205, 499--517 (2017; Zbl 1452.68127) Full Text: DOI
Aslanyan, Zaruhi; Nielson, Flemming Model checking exact cost for attack scenarios. (English) Zbl 1444.68102 Maffei, Matteo (ed.) et al., Principles of security and trust. 6th international conference, POST 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10204, 210-231 (2017). MSC: 68Q60 03B44 68M25 68Q87 PDF BibTeX XML Cite \textit{Z. Aslanyan} and \textit{F. Nielson}, Lect. Notes Comput. Sci. 10204, 210--231 (2017; Zbl 1444.68102) Full Text: DOI
Esmaeil Zadeh Soudjani, Sadegh; Majumdar, Rupak; Nagapetyan, Tigran Multilevel Monte Carlo method for statistical model checking of hybrid systems. (English) Zbl 1420.68126 Bertrand, Nathalie (ed.) et al., Quantitative evaluation of systems. 14th international conference, QEST 2017, Berlin, Germany, September 5–7, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10503, 351-367 (2017). MSC: 68Q60 65C05 68Q87 PDF BibTeX XML Cite \textit{S. Esmaeil Zadeh Soudjani} et al., Lect. Notes Comput. Sci. 10503, 351--367 (2017; Zbl 1420.68126) Full Text: DOI arXiv
Jegourel, Cyrille; Sun, Jun; Dong, Jin Song Sequential schemes for frequentist estimation of properties in statistical model checking. (English) Zbl 1420.68131 Bertrand, Nathalie (ed.) et al., Quantitative evaluation of systems. 14th international conference, QEST 2017, Berlin, Germany, September 5–7, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10503, 333-350 (2017). MSC: 68Q60 68Q87 PDF BibTeX XML Cite \textit{C. Jegourel} et al., Lect. Notes Comput. Sci. 10503, 333--350 (2017; Zbl 1420.68131) Full Text: DOI
Luisa Vissat, Ludovica; Loreti, Michele; Nenzi, Laura; Hillston, Jane; Marion, Glenn Three-valued spatio-temporal logic: a further analysis on spatio-temporal properties of stochastic systems. (English) Zbl 1420.68133 Bertrand, Nathalie (ed.) et al., Quantitative evaluation of systems. 14th international conference, QEST 2017, Berlin, Germany, September 5–7, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10503, 317-332 (2017). MSC: 68Q60 03B44 68Q87 PDF BibTeX XML Cite \textit{L. Luisa Vissat} et al., Lect. Notes Comput. Sci. 10503, 317--332 (2017; Zbl 1420.68133) Full Text: DOI
Baldi, Marco; Bartocci, Ezio; Chiaraluce, Franco; Cucchiarelli, Alessandro; Senigagliesi, Linda; Spalazzi, Luca; Spegni, Francesco A probabilistic small model theorem to assess confidentiality of dispersed cloud storage. (English) Zbl 1420.68117 Bertrand, Nathalie (ed.) et al., Quantitative evaluation of systems. 14th international conference, QEST 2017, Berlin, Germany, September 5–7, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10503, 123-139 (2017). MSC: 68Q60 68P20 68Q85 68Q87 PDF BibTeX XML Cite \textit{M. Baldi} et al., Lect. Notes Comput. Sci. 10503, 123--139 (2017; Zbl 1420.68117) Full Text: DOI
Carnielli, Walter; Bueno-Soler, Juliana Paraconsistent probabilities, their significance and their uses. (English) Zbl 1418.03127 Caleiro, Carlos (ed.) et al., Logic and computation. Essays in honour of Amílcar Sernadas. London: College Publications. Tributes 33, 197-229 (2017). MSC: 03B53 60A05 PDF BibTeX XML Cite \textit{W. Carnielli} and \textit{J. Bueno-Soler}, Tributes 33, 197--229 (2017; Zbl 1418.03127)
Doberkat, Ernst-Erich Using coalgebras and the Giry monad for interpreting game logics – a tutorial. (English) Zbl 1403.68139 Front. Comput. Sci. 11, No. 6, 948-970 (2017). MSC: 68Q85 03B45 03B70 03G30 18C20 68Q87 PDF BibTeX XML Cite \textit{E.-E. Doberkat}, Front. Comput. Sci. 11, No. 6, 948--970 (2017; Zbl 1403.68139) Full Text: DOI
Calabrese, Philip Logic and conditional probability. A synthesis. (English) Zbl 1419.03001 Studies in Logic (London) 69. London: College Publications (ISBN 978-1-84890-258-9/pbk). xi, 272 p. (2017). Reviewer: Jürgen Landes (München) MSC: 03-02 03B48 03B42 03G12 PDF BibTeX XML Cite \textit{P. Calabrese}, Logic and conditional probability. A synthesis. London: College Publications (2017; Zbl 1419.03001)
Nissan-Rozen, Ittay Newcomb meets Gettier. (English) Zbl 1417.03091 Synthese 194, No. 12, 4799-4814 (2017). MSC: 03A05 03B42 03B48 91B06 PDF BibTeX XML Cite \textit{I. Nissan-Rozen}, Synthese 194, No. 12, 4799--4814 (2017; Zbl 1417.03091) Full Text: DOI
Dodd, Dylan Belief and certainty. (English) Zbl 1417.03054 Synthese 194, No. 11, 4597-4621 (2017). MSC: 03A05 03B42 PDF BibTeX XML Cite \textit{D. Dodd}, Synthese 194, No. 11, 4597--4621 (2017; Zbl 1417.03054) Full Text: DOI
Cresto, Eleonora Lost in translation: unknowable propositions in probabilistic frameworks. (English) Zbl 1417.03137 Synthese 194, No. 10, 3955-3977 (2017). MSC: 03B42 03B48 PDF BibTeX XML Cite \textit{E. Cresto}, Synthese 194, No. 10, 3955--3977 (2017; Zbl 1417.03137) Full Text: DOI
Lyon, Aidan Vague credence. (English) Zbl 1417.03085 Synthese 194, No. 10, 3931-3954 (2017). MSC: 03A05 03B52 03B42 PDF BibTeX XML Cite \textit{A. Lyon}, Synthese 194, No. 10, 3931--3954 (2017; Zbl 1417.03085) Full Text: DOI
Norman, Gethin; Parker, David; Zou, Xueyi Verification and control of partially observable probabilistic systems. (English) Zbl 1425.68266 Real-Time Syst. 53, No. 3, 354-402 (2017). MSC: 68Q60 68M20 68Q45 68Q87 PDF BibTeX XML Cite \textit{G. Norman} et al., Real-Time Syst. 53, No. 3, 354--402 (2017; Zbl 1425.68266) Full Text: DOI
Raidl, Eric; Skovgaard-Olsen, Niels Bridging ranking theory and the stability theory of belief. (English) Zbl 1417.03142 J. Philos. Log. 46, No. 6, 577-609 (2017). MSC: 03B42 03B48 60A05 PDF BibTeX XML Cite \textit{E. Raidl} and \textit{N. Skovgaard-Olsen}, J. Philos. Log. 46, No. 6, 577--609 (2017; Zbl 1417.03142) Full Text: DOI
Sharma, Arpit Trace relations and logical preservation for continuous-time Markov decision processes. (English) Zbl 1444.68122 Hung, Dang Van (ed.) et al., Theoretical aspects of computing – ICTAC 2017. 14th international colloquium, Hanoi, Vietnam, October 23–27, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10580, 192-209 (2017). MSC: 68Q85 68Q45 68Q60 68Q87 PDF BibTeX XML Cite \textit{A. Sharma}, Lect. Notes Comput. Sci. 10580, 192--209 (2017; Zbl 1444.68122) Full Text: DOI
Chatterjee, Krishnendu; Novotný, Petr; Žikelić, Đorđe Stochastic invariants for probabilistic termination. (English) Zbl 1380.68114 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 145-160 (2017). MSC: 68N30 68Q60 68Q87 PDF BibTeX XML Cite \textit{K. Chatterjee} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 145--160 (2017; Zbl 1380.68114) Full Text: DOI
Bohy, Aaron; Bruyère, Véronique; Raskin, Jean-François; Bertrand, Nathalie Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes. (English) Zbl 1378.68122 Acta Inf. 54, No. 6, 545-587 (2017). MSC: 68Q87 68P05 68Q60 68T20 90C40 PDF BibTeX XML Cite \textit{A. Bohy} et al., Acta Inf. 54, No. 6, 545--587 (2017; Zbl 1378.68122) Full Text: DOI
Wang, Shuling; Zhan, Naijun; Zhang, Lijun A compositional modelling and verification framework for stochastic hybrid systems. (English) Zbl 1370.68220 Formal Asp. Comput. 29, No. 4, 751-775 (2017). MSC: 68Q85 68Q60 68Q87 93C30 93C83 PDF BibTeX XML Cite \textit{S. Wang} et al., Formal Asp. Comput. 29, No. 4, 751--775 (2017; Zbl 1370.68220) Full Text: DOI
Feng, Yuan; Zhang, Lijun Precisely deciding CSL formulas through approximate model checking for CTMCs. (English) Zbl 1372.68170 J. Comput. Syst. Sci. 89, 361-371 (2017). MSC: 68Q60 68Q87 68W25 PDF BibTeX XML Cite \textit{Y. Feng} and \textit{L. Zhang}, J. Comput. Syst. Sci. 89, 361--371 (2017; Zbl 1372.68170) Full Text: DOI
Aguzzoli, Stefano; Bianchi, Matteo; Gerla, Brunella; Valota, Diego Probability measures in \(\mathrm {G\"odel}_\varDelta\) logic. (English) Zbl 06769612 Antonucci, Alessandro (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 14th European conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-61580-6/pbk; 978-3-319-61581-3/ebook). Lecture Notes in Computer Science 10369. Lecture Notes in Artificial Intelligence, 353-363 (2017). MSC: 68T37 PDF BibTeX XML Cite \textit{S. Aguzzoli} et al., Lect. Notes Comput. Sci. 10369, 353--363 (2017; Zbl 06769612) Full Text: DOI
Halpern, Joseph Y. Reasoning about uncertainty. 2nd edition. (English) Zbl 1368.68001 Cambridge, MA: MIT Press (ISBN 978-0-262-53380-5). xv, 488 p. (2017). MSC: 68-02 03B42 60A05 68T27 68T37 PDF BibTeX XML Cite \textit{J. Y. Halpern}, Reasoning about uncertainty. 2nd edition. Cambridge, MA: MIT Press (2017; Zbl 1368.68001)
Esmaeil Zadeh Soudjani, Sadegh; Abate, Alessandro; Majumdar, Rupak Dynamic Bayesian networks for formal verification of structured stochastic processes. (English) Zbl 1364.68262 Acta Inf. 54, No. 2, 217-242 (2017). MSC: 68Q60 60J05 68Q87 PDF BibTeX XML Cite \textit{S. Esmaeil Zadeh Soudjani} et al., Acta Inf. 54, No. 2, 217--242 (2017; Zbl 1364.68262) Full Text: DOI
Tkachev, Ilya; Mereacre, Alexandru; Katoen, Joost-Pieter; Abate, Alessandro Quantitative model-checking of controlled discrete-time Markov processes. (English) Zbl 1359.68199 Inf. Comput. 253, Part 1, 1-35 (2017). MSC: 68Q60 60J20 68Q87 PDF BibTeX XML Cite \textit{I. Tkachev} et al., Inf. Comput. 253, Part 1, 1--35 (2017; Zbl 1359.68199) Full Text: DOI arXiv
Jovanović, Aleksandra; Kwiatkowska, Marta; Norman, Gethin; Peyras, Quentin Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata. (English) Zbl 1359.68171 Theor. Comput. Sci. 669, 1-21 (2017). MSC: 68Q45 68Q60 68Q87 PDF BibTeX XML Cite \textit{A. Jovanović} et al., Theor. Comput. Sci. 669, 1--21 (2017; Zbl 1359.68171) Full Text: DOI
Tylec, T. I.; Kuś, M. Tensor product of no-signaling boxes in the framework of quantum logics. (English) Zbl 1357.81069 J. Phys. A, Math. Theor. 50, No. 4, Article ID 04LT02, 9 p. (2017). MSC: 81P68 81P10 94A12 PDF BibTeX XML Cite \textit{T. I. Tylec} and \textit{M. Kuś}, J. Phys. A, Math. Theor. 50, No. 4, Article ID 04LT02, 9 p. (2017; Zbl 1357.81069) Full Text: DOI
Bewersdorf, Benjamin Total evidence, uncertainty and a priori beliefs. (English) Zbl 1430.03042 Felline, Laura (ed.) et al., New directions in logic and the philosophy of science. Selected papers from the triennial international conference (SILFS 14), University of Roma TRE, Rome, Italy, June 18–20, 2014. London: College Publications. SILFS Ser. 3, 57-66 (2016). MSC: 03B42 03B48 03A10 PDF BibTeX XML Cite \textit{B. Bewersdorf}, SILFS Ser. 3, 57--66 (2016; Zbl 1430.03042)
Dimitrova, Rayna; Ferrer Fioriti, Luis María; Hermanns, Holger; Majumdar, Rupak Probabilistic \(\mathrm{CTL}^*\): the deductive way. (English) Zbl 1420.68124 Chechik, Marsha (ed.) et al., Tools and algorithms for the construction and analysis of systems. 22nd international conference, TACAS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9636, 280-296 (2016). MSC: 68Q60 03B44 03B48 PDF BibTeX XML Cite \textit{R. Dimitrova} et al., Lect. Notes Comput. Sci. 9636, 280--296 (2016; Zbl 1420.68124) Full Text: DOI
Chakarov, Aleksandar; Voronin, Yuen-Lam; Sankaranarayanan, Sriram Deductive proofs of almost sure persistence and recurrence properties. (English) Zbl 1420.68153 Chechik, Marsha (ed.) et al., Tools and algorithms for the construction and analysis of systems. 22nd international conference, TACAS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9636, 260-279 (2016). MSC: 68Q87 03B44 60G42 60J20 68Q60 PDF BibTeX XML Cite \textit{A. Chakarov} et al., Lect. Notes Comput. Sci. 9636, 260--279 (2016; Zbl 1420.68153) Full Text: DOI
Esmaeil Zadeh Soudjani, Sadegh; Majumdar, Rupak; Abate, Alessandro Safety verification of continuous-space pure jump Markov processes. (English) Zbl 1420.68125 Chechik, Marsha (ed.) et al., Tools and algorithms for the construction and analysis of systems. 22nd international conference, TACAS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9636, 147-163 (2016). MSC: 68Q60 68Q87 PDF BibTeX XML Cite \textit{S. Esmaeil Zadeh Soudjani} et al., Lect. Notes Comput. Sci. 9636, 147--163 (2016; Zbl 1420.68125) Full Text: DOI
Jansen, Nils; Dehnert, Christian; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Westhofen, Lukas Bounded model checking for probabilistic programs. (English) Zbl 1398.68343 Artho, Cyrille (ed.) et al., Automated technology for verification and analysis. 14th international symposium, ATVA 2016, Chiba, Japan, October 17–20, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-46519-7/pbk; 978-3-319-46520-3/ebook). Lecture Notes in Computer Science 9938, 68-85 (2016). MSC: 68Q60 68Q87 PDF BibTeX XML Cite \textit{N. Jansen} et al., Lect. Notes Comput. Sci. 9938, 68--85 (2016; Zbl 1398.68343) Full Text: DOI
Quatmann, Tim; Dehnert, Christian; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter Parameter synthesis for Markov models: faster than ever. (English) Zbl 1398.68346 Artho, Cyrille (ed.) et al., Automated technology for verification and analysis. 14th international symposium, ATVA 2016, Chiba, Japan, October 17–20, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-46519-7/pbk; 978-3-319-46520-3/ebook). Lecture Notes in Computer Science 9938, 50-67 (2016). MSC: 68Q60 68Q87 PDF BibTeX XML Cite \textit{T. Quatmann} et al., Lect. Notes Comput. Sci. 9938, 50--67 (2016; Zbl 1398.68346) Full Text: DOI
Li, Yong; Liu, Wanwei; Turrini, Andrea; Hahn, Ernst Moritz; Zhang, Lijun An efficient synthesis algorithm for parametric Markov chains against linear time properties. (English) Zbl 1393.68107 Fränzle, Martin (ed.) et al., Dependable software engineering: theories, tools, and applications. Second international symposium, SETTA 2016, Beijing, China, November 9–11, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-47676-6/pbk; 978-3-319-47677-3/ebook). Lecture Notes in Computer Science 9984, 280-296 (2016). MSC: 68Q60 68Q45 68Q87 PDF BibTeX XML Cite \textit{Y. Li} et al., Lect. Notes Comput. Sci. 9984, 280--296 (2016; Zbl 1393.68107) Full Text: DOI
Cozic, Mikaël Probabilistic unawareness. (English) Zbl 1407.91060 Games 7, No. 4, Paper No. 38, 24 p. (2016). MSC: 91A26 03B42 03B48 PDF BibTeX XML Cite \textit{M. Cozic}, Games 7, No. 4, Paper No. 38, 24 p. (2016; Zbl 1407.91060) Full Text: DOI
van Eijck, Jan; Renne, Bryan Update, probability, knowledge and belief. (English) Zbl 1400.03033 Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. London: College Publications (ISBN 978-1-84890-201-5/pbk). 551-570 (2016). MSC: 03B42 03B48 PDF BibTeX XML Cite \textit{J. van Eijck} and \textit{B. Renne}, in: Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 -- September 2, 2016. London: College Publications. 551--570 (2016; Zbl 1400.03033)
Chatterjee, Krishnendu; Doyen, Laurent Perfect-information stochastic games with generalized mean-payoff objectives. (English) Zbl 1401.68238 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 247-256 (2016). MSC: 68Q87 68Q17 68Q60 91A15 91A43 PDF BibTeX XML Cite \textit{K. Chatterjee} and \textit{L. Doyen}, in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 247--256 (2016; Zbl 1401.68238) Full Text: DOI
Chatterjee, Krishnendu; Dvořák, Wolfgang; Henzinger, Monika; Loitzenbauer, Veronika Model and objective separation with conditional lower bounds: disjunction is harder than conjunction. (English) Zbl 1401.68189 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 197-206 (2016). MSC: 68Q60 05C85 68Q17 68Q25 68Q45 68Q87 PDF BibTeX XML Cite \textit{K. Chatterjee} et al., in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 197--206 (2016; Zbl 1401.68189) Full Text: DOI
Chakraborty, Souymodip; Katoen, Joost-Pieter On the satisfiability of some simple probabilistic logics. (English) Zbl 1394.68169 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 56-65 (2016). MSC: 68Q25 03B25 03B44 03B45 03B48 60J20 68Q17 68Q60 68Q87 PDF BibTeX XML Cite \textit{S. Chakraborty} and \textit{J.-P. Katoen}, in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 56--65 (2016; Zbl 1394.68169) Full Text: DOI
Katoen, Joost-Pieter The probabilistic model checking landscape. (English) Zbl 1401.68201 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 31-45 (2016). MSC: 68Q60 68Q87 PDF BibTeX XML Cite \textit{J.-P. Katoen}, in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 31--45 (2016; Zbl 1401.68201) Full Text: DOI
Sato, Tetsuya Approximate relational Hoare logic for continuous random samplings. (English) Zbl 1401.68206 Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 277-298 (2016). MSC: 68Q60 03B70 18C15 68P15 68P25 68Q55 68Q87 PDF BibTeX XML Cite \textit{T. Sato}, Electron. Notes Theor. Comput. Sci. 325, 277--298 (2016; Zbl 1401.68206) Full Text: DOI
Bertrand, Nathalie; Haddad, Serge; Lefaucheux, Engel Diagnosis in infinite-state probabilistic systems. (English) Zbl 1392.68230 Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 37, 15 p. (2016). MSC: 68Q60 68Q45 68Q87 PDF BibTeX XML Cite \textit{N. Bertrand} et al., LIPIcs -- Leibniz Int. Proc. Inform. 59, Article 37, 15 p. (2016; Zbl 1392.68230) Full Text: DOI
Daca, Przemysław; Henzinger, Thomas A.; Krětínský, Jan; Petrov, Tatjana Linear distances between Markov chains. (English) Zbl 1392.68293 Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 20, 15 p. (2016). MSC: 68Q85 60J10 68Q60 68Q87 PDF BibTeX XML Cite \textit{P. Daca} et al., LIPIcs -- Leibniz Int. Proc. Inform. 59, Article 20, 15 p. (2016; Zbl 1392.68293) Full Text: DOI
Almagor, Shaull; Kupferman, Orna; Velner, Yaron Minimizing expected cost under hard Boolean constraints, with applications to quantitative synthesis. (English) Zbl 1392.68225 Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 9, 15 p. (2016). MSC: 68Q60 68Q87 91A43 PDF BibTeX XML Cite \textit{S. Almagor} et al., LIPIcs -- Leibniz Int. Proc. Inform. 59, Article 9, 15 p. (2016; Zbl 1392.68225) Full Text: DOI
Lee, Matias David; de Vink, Erik P. Logical characterization of bisimulation for transition relations over probability distributions with internal actions. (English) Zbl 1398.68368 Faliszewski, Piotr (ed.) et al., 41st international symposium on mathematical foundations of computer science, MFCS 2016, Kraków, Poland, August 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-016-3). LIPIcs – Leibniz International Proceedings in Informatics 58, Article 29, 14 p. (2016). MSC: 68Q85 03B70 68Q87 PDF BibTeX XML Cite \textit{M. D. Lee} and \textit{E. P. de Vink}, LIPIcs -- Leibniz Int. Proc. Inform. 58, Article 29, 14 p. (2016; Zbl 1398.68368) Full Text: DOI
Hahn, Ernst Moritz; Hashemi, Vahid; Hermanns, Holger; Turrini, Andrea Exploiting robust optimization for interval probabilistic bisimulation. (English) Zbl 1377.68132 Agha, Gul (ed.) et al., Quantitative evaluation of systems. 13th international conference, QEST 2016, Quebec City, QC, Canada, August 23–25, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-43424-7/pbk; 978-3-319-43425-4/ebook). Lecture Notes in Computer Science 9826, 55-71 (2016). MSC: 68Q60 68Q85 68Q87 PDF BibTeX XML Cite \textit{E. M. Hahn} et al., Lect. Notes Comput. Sci. 9826, 55--71 (2016; Zbl 1377.68132) Full Text: DOI
Polgreen, Elizabeth; Wijesuriya, V. B.; Haesaert, S.; Abate, A. Data-efficient Bayesian verification of parametric Markov chains. (English) Zbl 1377.68136 Agha, Gul (ed.) et al., Quantitative evaluation of systems. 13th international conference, QEST 2016, Quebec City, QC, Canada, August 23–25, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-43424-7/pbk; 978-3-319-43425-4/ebook). Lecture Notes in Computer Science 9826, 35-51 (2016). MSC: 68Q60 68Q87 PDF BibTeX XML Cite \textit{E. Polgreen} et al., Lect. Notes Comput. Sci. 9826, 35--51 (2016; Zbl 1377.68136) Full Text: DOI
Haesaert, Sofie; Abate, Alessandro; Van den Hof, Paul M. J. Verification of general Markov decision processes by approximate similarity relations and policy refinement. (English) Zbl 1377.68131 Agha, Gul (ed.) et al., Quantitative evaluation of systems. 13th international conference, QEST 2016, Quebec City, QC, Canada, August 23–25, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-43424-7/pbk; 978-3-319-43425-4/ebook). Lecture Notes in Computer Science 9826, 227-243 (2016). MSC: 68Q60 68Q87 PDF BibTeX XML Cite \textit{S. Haesaert} et al., Lect. Notes Comput. Sci. 9826, 227--243 (2016; Zbl 1377.68131) Full Text: DOI
Barbot, Benoît; Basset, Nicolas; Beunardeau, Marc; Kwiatkowska, Marta Uniform sampling for timed automata with application to language inclusion measurement. (English) Zbl 1377.68126 Agha, Gul (ed.) et al., Quantitative evaluation of systems. 13th international conference, QEST 2016, Quebec City, QC, Canada, August 23–25, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-43424-7/pbk; 978-3-319-43425-4/ebook). Lecture Notes in Computer Science 9826, 175-190 (2016). MSC: 68Q60 68Q45 68Q87 PDF BibTeX XML Cite \textit{B. Barbot} et al., Lect. Notes Comput. Sci. 9826, 175--190 (2016; Zbl 1377.68126) Full Text: DOI
Bojanczyk, Mikolaj Thin MSO with a probabilistic path quantifier. (English) Zbl 1387.03005 Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 96, 13 p. (2016). MSC: 03B15 03B44 03B48 03D05 PDF BibTeX XML Cite \textit{M. Bojanczyk}, LIPIcs -- Leibniz Int. Proc. Inform. 55, Article 96, 13 p. (2016; Zbl 1387.03005) Full Text: DOI
Smith, Martin Between probability and certainty. What justifies belief. (English) Zbl 1374.03003 Oxford: Oxford University Press (ISBN 978-0-19-875533-3/hbk). xi, 213 p. (2016). MSC: 03-02 03A05 03B42 03B48 62A01 PDF BibTeX XML Cite \textit{M. Smith}, Between probability and certainty. What justifies belief. Oxford: Oxford University Press (2016; Zbl 1374.03003)
Mizraji, Eduardo Illustrating a neural model of logic computations: the case of Sherlock Holmes’ old maxim. (English) Zbl 1388.03012 Theoria, Segunda Epoca 31, No. 1, 7-25 (2016). MSC: 03A05 03B45 03B65 03B48 PDF BibTeX XML Cite \textit{E. Mizraji}, Theoria, Segunda Epoca 31, No. 1, 7--25 (2016; Zbl 1388.03012) Full Text: DOI
Almagor, Shaull; Kupferman, Orna High-quality synthesis against stochastic environments. (English) Zbl 1369.68256 Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 28, 17 p. (2016). MSC: 68Q60 03B44 68Q25 68Q87 PDF BibTeX XML Cite \textit{S. Almagor} and \textit{O. Kupferman}, LIPIcs -- Leibniz Int. Proc. Inform. 62, Article 28, 17~p. (2016; Zbl 1369.68256) Full Text: DOI
Halpern, Joseph Y. Actual causality. (English) Zbl 1370.03004 Cambridge, MA: MIT Press (ISBN 978-0-262-03502-6/hbk; 978-0-262-33660-4/ebook). ix, 229 p. (2016). Reviewer: Jürgen Landes (München) MSC: 03-02 68-02 03B70 03A10 03B42 03B48 03D15 62A01 68T30 68Q60 PDF BibTeX XML Cite \textit{J. Y. Halpern}, Actual causality. Cambridge, MA: MIT Press (2016; Zbl 1370.03004)