Maximova, Maria; Schneider, Sven; Giese, Holger Interval probabilistic timed graph transformation systems. (English) Zbl 07493664 Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 221-239 (2021). MSC: 68Q42 68Q60 68Q87 PDF BibTeX XML Cite \textit{M. Maximova} et al., Lect. Notes Comput. Sci. 12741, 221--239 (2021; Zbl 07493664) Full Text: DOI OpenURL
Castiglioni, Valentina; Loreti, Michele; Tini, Simone How adaptive and reliable is your program? (English) Zbl 07493472 Peters, Kirstin (ed.) et al., Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12719, 60-79 (2021). MSC: 68Q60 68N30 68Q85 68Q87 PDF BibTeX XML Cite \textit{V. Castiglioni} et al., Lect. Notes Comput. Sci. 12719, 60--79 (2021; Zbl 07493472) Full Text: DOI OpenURL
He, Jiaqi; Liu, Hu A probabilistic semantics for belief logic. (English) Zbl 07473063 Notre Dame J. Formal Logic 62, No. 4, 643-659 (2021). MSC: 03B42 PDF BibTeX XML Cite \textit{J. He} and \textit{H. Liu}, Notre Dame J. Formal Logic 62, No. 4, 643--659 (2021; Zbl 07473063) Full Text: DOI OpenURL
Bonchi, Filippo; Silva, Alexandra; Sokolova, Ana Distribution bisimilarity via the power of convex algebras. (English) Zbl 1480.18005 Log. Methods Comput. Sci. 17, No. 3, Paper No. 10, 28 p. (2021). Reviewer: Ernst-Erich Doberkat (Dortmund) MSC: 18C15 03B42 68Q87 68Q85 PDF BibTeX XML Cite \textit{F. Bonchi} et al., Log. Methods Comput. Sci. 17, No. 3, Paper No. 10, 28 p. (2021; Zbl 1480.18005) Full Text: arXiv Link OpenURL
Quatmann, Tim; Katoen, Joost-Pieter Multi-objective optimization of long-run average and total rewards. (English) Zbl 1467.68094 Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 230-249 (2021). MSC: 68Q60 68Q45 68Q87 90C29 90C40 PDF BibTeX XML Cite \textit{T. Quatmann} and \textit{J.-P. Katoen}, Lect. Notes Comput. Sci. 12651, 230--249 (2021; Zbl 1467.68094) Full Text: DOI arXiv OpenURL
Spel, Jip; Junges, Sebastian; Katoen, Joost-Pieter Finding provably optimal Markov chains. (English) Zbl 1467.68095 Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 173-190 (2021). MSC: 68Q60 60J22 68Q87 PDF BibTeX XML Cite \textit{J. Spel} et al., Lect. Notes Comput. Sci. 12651, 173--190 (2021; Zbl 1467.68095) Full Text: DOI OpenURL
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 OpenURL
Hansson, Sven Ove Revising probabilities and full beliefs. (English) Zbl 1485.03037 J. Philos. Log. 49, No. 5, 1005-1039 (2020). MSC: 03B42 03B48 PDF BibTeX XML Cite \textit{S. O. Hansson}, J. Philos. Log. 49, No. 5, 1005--1039 (2020; Zbl 1485.03037) Full Text: DOI OpenURL
Batz, Kevin; Junges, Sebastian; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Schröer, Philipp PrIC3: property directed reachability for MDPs. (English) Zbl 1478.68143 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 512-538 (2020). MSC: 68Q60 68Q87 90C40 PDF BibTeX XML Cite \textit{K. Batz} et al., Lect. Notes Comput. Sci. 12225, 512--538 (2020; Zbl 1478.68143) Full Text: DOI arXiv OpenURL
Hartmanns, Arnd; Kaminski, Benjamin Lucien Optimistic value iteration. (English) Zbl 1478.68161 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 488-511 (2020). MSC: 68Q60 68Q87 90C40 PDF BibTeX XML Cite \textit{A. Hartmanns} and \textit{B. L. Kaminski}, Lect. Notes Comput. Sci. 12225, 488--511 (2020; Zbl 1478.68161) Full Text: DOI arXiv OpenURL
Chatterjee, Krishnendu; Katoen, Joost-Pieter; Weininger, Maximilian; Winkler, Tobias Stochastic games with lexicographic reachability-safety objectives. (English) Zbl 1478.68151 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 398-420 (2020). MSC: 68Q60 68Q17 68Q25 68Q85 68Q87 91A15 PDF BibTeX XML Cite \textit{K. Chatterjee} et al., Lect. Notes Comput. Sci. 12225, 398--420 (2020; Zbl 1478.68151) Full Text: DOI arXiv OpenURL
Blondin, Michael; Esparza, Javier; Helfrich, Martin; Kučera, Antonín; Meyer, Philipp J. Checking qualitative liveness properties of replicated systems with stochastic scheduling. (English) Zbl 1478.68147 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 372-397 (2020). MSC: 68Q60 68Q85 68Q87 68R10 PDF BibTeX XML Cite \textit{M. Blondin} et al., Lect. Notes Comput. Sci. 12225, 372--397 (2020; Zbl 1478.68147) Full Text: DOI arXiv OpenURL
Feng, Shenghua; Chen, Mingshuai; Xue, Bai; Sankaranarayanan, Sriram; Zhan, Naijun Unbounded-time safety verification of stochastic differential dynamics. (English) Zbl 1478.68155 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 327-348 (2020). MSC: 68Q60 60H10 PDF BibTeX XML Cite \textit{S. Feng} et al., Lect. Notes Comput. Sci. 12225, 327--348 (2020; Zbl 1478.68155) Full Text: DOI arXiv OpenURL
Vazquez-Chanlatte, Marcell; Seshia, Sanjit A. Maximum causal entropy specification inference from demonstrations. (English) Zbl 1478.68301 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 255-278 (2020). MSC: 68T05 68Q60 68Q87 PDF BibTeX XML Cite \textit{M. Vazquez-Chanlatte} and \textit{S. A. Seshia}, Lect. Notes Comput. Sci. 12225, 255--278 (2020; Zbl 1478.68301) Full Text: DOI arXiv OpenURL
Koponen, Vera Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination. (English) Zbl 1483.03023 Theor. Comput. Sci. 848, 1-27 (2020). Reviewer: Jürgen Landes (München) MSC: 03C13 03B42 03B48 03C10 68Q11 68Q87 68T05 PDF BibTeX XML Cite \textit{V. Koponen}, Theor. Comput. Sci. 848, 1--27 (2020; Zbl 1483.03023) Full Text: DOI arXiv OpenURL
Hartmanns, Arnd; Junges, Sebastian; Katoen, Joost-Pieter; Quatmann, Tim Multi-cost bounded tradeoff analysis in MDP. (English) Zbl 1468.68132 J. Autom. Reasoning 64, No. 7, 1483-1522 (2020). MSC: 68Q60 68Q87 90C29 90C40 PDF BibTeX XML Cite \textit{A. Hartmanns} et al., J. Autom. Reasoning 64, No. 7, 1483--1522 (2020; Zbl 1468.68132) Full Text: DOI OpenURL
Finger, Marcelo; Preto, Sandro Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics. (English) Zbl 1468.68200 J. Autom. Reasoning 64, No. 7, 1269-1286 (2020). MSC: 68T20 03B48 03B50 03B52 68Q25 PDF BibTeX XML Cite \textit{M. Finger} and \textit{S. Preto}, J. Autom. Reasoning 64, No. 7, 1269--1286 (2020; Zbl 1468.68200) Full Text: DOI OpenURL
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 arXiv OpenURL
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 OpenURL
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 OpenURL
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 arXiv OpenURL
Kokkinis, Ioannis; Ognjanović, Zoran; Studer, Thomas Probabilistic justification logic. (English) Zbl 07194700 J. Log. Comput. 30, No. 1, 257-280 (2020). MSC: 03B42 03B48 PDF BibTeX XML Cite \textit{I. Kokkinis} et al., J. Log. Comput. 30, No. 1, 257--280 (2020; Zbl 07194700) Full Text: DOI OpenURL
Raidl, Eric; Spohn, Wolfgang An accuracy argument in favor of ranking theory. (English) Zbl 1484.03028 J. Philos. Log. 49, No. 2, 283-313 (2020). MSC: 03B42 03A10 91B06 PDF BibTeX XML Cite \textit{E. Raidl} and \textit{W. Spohn}, J. Philos. Log. 49, No. 2, 283--313 (2020; Zbl 1484.03028) Full Text: DOI OpenURL
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 OpenURL
Legay, Axel; Lukina, Anna; Traonouez, Louis Marie; Yang, Junxing; Smolka, Scott A.; Grosu, Radu Statistical model checking. (English) Zbl 1482.68142 Steffen, Bernhard (ed.) et al., Computing and software science. State of the art and perspectives. Cham: Springer. Lect. Notes Comput. Sci. 10000, 478-504 (2019). MSC: 68Q60 68Q87 68T20 93B45 PDF BibTeX XML Cite \textit{A. Legay} et al., Lect. Notes Comput. Sci. 10000, 478--504 (2019; Zbl 1482.68142) Full Text: DOI OpenURL
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter The 10,000 facets of MDP model checking. (English) Zbl 1482.68133 Steffen, Bernhard (ed.) et al., Computing and software science. State of the art and perspectives. Cham: Springer. Lect. Notes Comput. Sci. 10000, 420-451 (2019). MSC: 68Q60 68-03 68Q87 90C40 PDF BibTeX XML Cite \textit{C. Baier} et al., Lect. Notes Comput. Sci. 10000, 420--451 (2019; Zbl 1482.68133) Full Text: DOI OpenURL
Koscholke, Jakob On the Pareto condition on permissible belief. (English) Zbl 1474.03031 Erkenntnis 84, No. 6, 1183-1188 (2019). MSC: 03A05 03B42 03B48 60A05 PDF BibTeX XML Cite \textit{J. Koscholke}, Erkenntnis 84, No. 6, 1183--1188 (2019; Zbl 1474.03031) Full Text: DOI OpenURL
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 OpenURL
Dunn, J. Michael; Kiefer, Nicholas M. Contradictory information: better than nothing? The paradox of the two firefighters. (English) Zbl 1469.03075 Başkent, Can (ed.) et al., Graham Priest on dialetheism and paraconsistency. Cham: Springer. Outst. Contrib. Log. 18, 231-247 (2019). MSC: 03B53 03A05 03B42 03B48 03B70 PDF BibTeX XML Cite \textit{J. M. Dunn} and \textit{N. M. Kiefer}, Outst. Contrib. Log. 18, 231--247 (2019; Zbl 1469.03075) Full Text: DOI OpenURL
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 arXiv OpenURL
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 Link OpenURL
Cozman, Fabio Gagliardi; Mauá, Denis Deratani The finite model theory of Bayesian network specifications: descriptive complexity and zero/one laws. (English) Zbl 1460.68042 Int. J. Approx. Reasoning 110, 107-126 (2019). MSC: 68Q19 03B48 03C13 62H22 68Q60 68T27 PDF BibTeX XML Cite \textit{F. G. Cozman} and \textit{D. D. Mauá}, Int. J. Approx. Reasoning 110, 107--126 (2019; Zbl 1460.68042) Full Text: DOI OpenURL
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 Link OpenURL
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 OpenURL
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 Link OpenURL
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 OpenURL
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 Link OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
Roche, William Foundationalism with infinite regresses of probabilistic support. (English) Zbl 1474.03041 Synthese 195, No. 9, 3899-3917 (2018). MSC: 03A05 03B42 03B48 60A05 PDF BibTeX XML Cite \textit{W. Roche}, Synthese 195, No. 9, 3899--3917 (2018; Zbl 1474.03041) Full Text: DOI OpenURL
Smith, Martin The logic of epistemic justification. (English) Zbl 1474.03049 Synthese 195, No. 9, 3857-3875 (2018). MSC: 03A05 03B42 PDF BibTeX XML Cite \textit{M. Smith}, Synthese 195, No. 9, 3857--3875 (2018; Zbl 1474.03049) Full Text: DOI OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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., Stud. Log. (Lond.) 73, 235--269 (2018; Zbl 1451.68259) OpenURL
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 arXiv OpenURL
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 Link OpenURL
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 Link OpenURL
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 Link OpenURL
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 OpenURL
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 OpenURL
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 arXiv OpenURL
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 OpenURL
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 arXiv OpenURL
Kokkinis, Ioannis The complexity of satisfiability in non-iterated and iterated probabilistic logics. (English) Zbl 1459.03027 Ann. Math. Artif. Intell. 83, No. 3-4, 351-382 (2018). MSC: 03B48 03B42 68Q25 PDF BibTeX XML Cite \textit{I. Kokkinis}, Ann. Math. Artif. Intell. 83, No. 3--4, 351--382 (2018; Zbl 1459.03027) Full Text: DOI arXiv OpenURL
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 OpenURL
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 arXiv OpenURL
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 HAL OpenURL
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 Link OpenURL
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 arXiv Link OpenURL
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 OpenURL
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 Link OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
Hutschenreiter, Lisa; Baier, Christel; Klein, Joachim Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. (English) Zbl 1483.68195 Bouyer, Patricia (ed.) et al., Proceedings of the eighth international symposium on games, automata, logics and formal verification, GandALF 2017, Roma, Italy, September 20–22, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 16-30 (2017). MSC: 68Q60 03B70 60J20 68Q25 68Q87 PDF BibTeX XML Cite \textit{L. Hutschenreiter} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 16--30 (2017; Zbl 1483.68195) Full Text: Link OpenURL
Dimovski, Aleksandar S. Probabilistic analysis based on symbolic game semantics and model counting. (English) Zbl 1483.68077 Bouyer, Patricia (ed.) et al., Proceedings of the eighth international symposium on games, automata, logics and formal verification, GandALF 2017, Roma, Italy, September 20–22, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 1-15 (2017). MSC: 68N30 68Q55 68Q60 68Q87 91A80 PDF BibTeX XML Cite \textit{A. S. Dimovski}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 1--15 (2017; Zbl 1483.68077) Full Text: arXiv Link OpenURL
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 arXiv OpenURL
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 Link OpenURL
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 arXiv Link OpenURL
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 OpenURL
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 OpenURL
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 Link OpenURL
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 Link OpenURL
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 OpenURL
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) OpenURL
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 arXiv OpenURL
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) OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 arXiv OpenURL
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 arXiv OpenURL
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 OpenURL
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 OpenURL
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. Lect. Notes Comput. Sci. 10369, 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 OpenURL
Cauli, Claudia; Piterman, Nir Equivalence of probabilistic \(\mu\)-calculus and p-automata. (English) Zbl 06763314 Carayol, Arnaud (ed.) et al., Implementation and application of automata. 22nd international conference, CIAA 2017, Marne-la-Vallée, France, June 27–30, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10329, 64-75 (2017). MSC: 68Q45 03B70 03D05 60J20 68Q60 68Q87 PDF BibTeX XML Cite \textit{C. Cauli} and \textit{N. Piterman}, Lect. Notes Comput. Sci. 10329, 64--75 (2017; Zbl 06763314) Full Text: DOI OpenURL
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) OpenURL
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 arXiv Link OpenURL
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 Link OpenURL
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 Link OpenURL
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 arXiv OpenURL