Niestegge, Gerd Non-symmetric transition probability in generalized qubit models. (English) Zbl 07803525 Found. Phys. 54, No. 1, Paper No. 9, 20 p. (2024). MSC: 81Pxx 03Gxx 46Bxx PDFBibTeX XMLCite \textit{G. Niestegge}, Found. Phys. 54, No. 1, Paper No. 9, 20 p. (2024; Zbl 07803525) Full Text: DOI arXiv
Hosni, Hykel; Landes, Jürgen Logical perspectives on the foundations of probability. (English) Zbl 07738940 Open Math. 21, Article ID 20220598, 23 p. (2023). MSC: 03-01 03-03 03B42 03B48 60-01 60A99 68T27 68T30 68T37 PDFBibTeX XMLCite \textit{H. Hosni} and \textit{J. Landes}, Open Math. 21, Article ID 20220598, 23 p. (2023; Zbl 07738940) Full Text: DOI
Rad, Soroush Rafiee Probabilistic entailment on first order languages and reasoning with inconsistencies. (English) Zbl 1518.03002 Rev. Symb. Log. 16, No. 2, 351-368 (2023). Reviewer: Jürgen Landes (München) MSC: 03B42 03B48 68T27 PDFBibTeX XMLCite \textit{S. R. Rad}, Rev. Symb. Log. 16, No. 2, 351--368 (2023; Zbl 1518.03002) Full Text: DOI
Debbi, Hichem Constraint-based debugging in probabilistic model checking. (English) Zbl 1519.68132 Computing 105, No. 2, 321-351 (2023). MSC: 68Q60 68Q87 PDFBibTeX XMLCite \textit{H. Debbi}, Computing 105, No. 2, 321--351 (2023; Zbl 1519.68132) Full Text: DOI
Bacci, Giorgio; Bacci, Giovanni; Jensen, Mathias Claus; Larsen, Kim G. Convex lattice equation systems. (English) Zbl 1528.68206 Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 438-455 (2022). MSC: 68Q60 68Q10 68Q87 91A15 PDFBibTeX XMLCite \textit{G. Bacci} et al., Lect. Notes Comput. Sci. 13660, 438--455 (2022; Zbl 1528.68206) Full Text: DOI
Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter Parameter synthesis in Markov models: a gentle survey. (English) Zbl 1528.68226 Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 407-437 (2022). MSC: 68Q60 68Q87 PDFBibTeX XMLCite \textit{N. Jansen} et al., Lect. Notes Comput. Sci. 13660, 407--437 (2022; Zbl 1528.68226) Full Text: DOI arXiv
Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina; Ruggaard Pedersen, Mathias On probabilistic monitorability. (English) Zbl 1528.68246 Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 325-342 (2022). MSC: 68Q85 68Q60 68Q87 PDFBibTeX XMLCite \textit{L. Aceto} et al., Lect. Notes Comput. Sci. 13660, 325--342 (2022; Zbl 1528.68246) Full Text: DOI
Quatmann, Tim; Junges, Sebastian; Katoen, Joost-Pieter Markov automata with multiple objectives. (English) Zbl 1522.68345 Form. Methods Syst. Des. 60, No. 1, 33-86 (2022). MSC: 68Q60 68Q45 68Q87 PDFBibTeX XMLCite \textit{T. Quatmann} et al., Form. Methods Syst. Des. 60, No. 1, 33--86 (2022; Zbl 1522.68345) Full Text: DOI
Spel, Jip; Stein, Svenja; Katoen, Joost-Pieter POMDP controllers with optimal budget. (English) Zbl 1522.68346 Ábrahám, Erika (ed.) et al., Quantitative evaluation of systems. 19th international conference, QEST 2022, Warsaw, Poland, September 12–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13479, 107-130 (2022). MSC: 68Q60 68Q87 68T20 90C40 PDFBibTeX XMLCite \textit{J. Spel} et al., Lect. Notes Comput. Sci. 13479, 107--130 (2022; Zbl 1522.68346) Full Text: DOI
Bacci, Giovanni; Delahaye, Benoît; Larsen, Kim G.; Mariegaard, Anders Quantitative analysis of interval Markov chains. (English) Zbl 1522.68296 Olderog, Ernst-Rüdiger (ed.) et al., Model checking, synthesis, and learning. Essays dedicated to Bengt Jonsson on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13030, 57-77 (2022). MSC: 68Q60 60J20 68Q87 PDFBibTeX XMLCite \textit{G. Bacci} et al., Lect. Notes Comput. Sci. 13030, 57--77 (2022; Zbl 1522.68296) Full Text: DOI
Badings, Thom S.; Jansen, Nils; Junges, Sebastian; Stoelinga, Marielle; Volk, Matthias Sampling-based verification of CTMCs with uncertain rates. (English) Zbl 1514.68117 Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13372, 26-47 (2022). MSC: 68Q60 68Q87 PDFBibTeX XMLCite \textit{T. S. Badings} et al., Lect. Notes Comput. Sci. 13372, 26--47 (2022; Zbl 1514.68117) Full Text: DOI arXiv
He, Pengfei; Wang, Juntao; Yang, Jiang The existence of states based on Glivenko semihoops. (English) Zbl 07603661 Arch. Math. Logic 61, No. 7-8, 1145-1170 (2022). MSC: 03F52 03G10 03G25 06D15 PDFBibTeX XMLCite \textit{P. He} et al., Arch. Math. Logic 61, No. 7--8, 1145--1170 (2022; Zbl 07603661) Full Text: DOI
Wilke, Richard On the Presburger fragment of logics with multiteam semantics. (English) Zbl 07587329 Ann. Pure Appl. Logic 173, No. 10, Article ID 103120, 15 p. (2022). MSC: 03B16 03B48 03B70 03C13 PDFBibTeX XMLCite \textit{R. Wilke}, Ann. Pure Appl. Logic 173, No. 10, Article ID 103120, 15 p. (2022; Zbl 07587329) Full Text: DOI
Albert, Rafael; Grädel, Erich Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence. (English) Zbl 1513.81002 Ann. Pure Appl. Logic 173, No. 10, Article ID 103088, 30 p. (2022). MSC: 81P10 81P13 81Q65 03B42 03B48 PDFBibTeX XMLCite \textit{R. Albert} and \textit{E. Grädel}, Ann. Pure Appl. Logic 173, No. 10, Article ID 103088, 30 p. (2022; Zbl 1513.81002) Full Text: DOI arXiv
Mierzewski, Krzysztof Probabilistic stability, AGM revision operators and maximum entropy. (English) Zbl 07576535 Rev. Symb. Log. 15, No. 3, 553-590 (2022). MSC: 03B42 68T27 60A05 94A17 PDFBibTeX XMLCite \textit{K. Mierzewski}, Rev. Symb. Log. 15, No. 3, 553--590 (2022; Zbl 07576535) Full Text: DOI
Zaman, Eshita; Ciardo, Gianfranco; Ábrahám, Erika; Bonakdarpour, Borzoo HyperPCTL model checking by probabilistic decomposition. (English) Zbl 1502.68189 ter Beek, Maurice H. (ed.) et al., Integrated formal methods. 17th international conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13274, 209-226 (2022). MSC: 68Q60 60J20 68Q87 PDFBibTeX XMLCite \textit{E. Zaman} et al., Lect. Notes Comput. Sci. 13274, 209--226 (2022; Zbl 1502.68189) Full Text: DOI
Falcone, Yliès; Salaün, Gwen; Zuo, Ahang Probabilistic model checking of BPMN processes at runtime. (English) Zbl 1502.68182 ter Beek, Maurice H. (ed.) et al., Integrated formal methods. 17th international conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13274, 191-208 (2022). MSC: 68Q60 68Q85 68Q87 PDFBibTeX XMLCite \textit{Y. Falcone} et al., Lect. Notes Comput. Sci. 13274, 191--208 (2022; Zbl 1502.68182) Full Text: DOI
Winkler, Tobias; Lehmann, Johannes; Katoen, Joost-Pieter Out of control: reducing probabilistic models by control-state elimination. (English) Zbl 1498.68176 Finkbeiner, Bernd (ed.) et al., Verification, model checking, and abstract interpretation. 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13182, 450-472 (2022). MSC: 68Q60 68Q87 PDFBibTeX XMLCite \textit{T. Winkler} et al., Lect. Notes Comput. Sci. 13182, 450--472 (2022; Zbl 1498.68176) Full Text: DOI arXiv
Heck, Linus; Spel, Jip; Junges, Sebastian; Moerman, Joshua; Katoen, Joost-Pieter Gradient-descent for randomized controllers under partial observability. (English) Zbl 1498.68159 Finkbeiner, Bernd (ed.) et al., Verification, model checking, and abstract interpretation. 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13182, 127-150 (2022). MSC: 68Q60 60J20 68Q87 PDFBibTeX XMLCite \textit{L. Heck} et al., Lect. Notes Comput. Sci. 13182, 127--150 (2022; Zbl 1498.68159) Full Text: DOI arXiv
Hansson, Sven Ove A characterization of probability-based dichotomous belief revision. (English) Zbl 1507.03072 Stud. Log. 110, No. 2, 511-543 (2022). Reviewer: David Makinson (London) MSC: 03B42 03B48 PDFBibTeX XMLCite \textit{S. O. Hansson}, Stud. Log. 110, No. 2, 511--543 (2022; Zbl 1507.03072) Full Text: DOI
Égré, Paul; Rossi, Lorenzo; Sprenger, Jan Certain and Uncertain Inference with Indicative Conditionals. arXiv:2207.08276 Preprint, arXiv:2207.08276 [cs.AI] (2022). MSC: 03B50 03B53 03B48 BibTeX Cite \textit{P. Égré} et al., ``Certain and Uncertain Inference with Indicative Conditionals'', Preprint, arXiv:2207.08276 [cs.AI] (2022) Full Text: arXiv OA License
Bílková, Marta; Frittella, Sabine; Kozhemiachenko, Daniil; Majer, Ondrej; Nazari, Sajad Reasoning with belief functions over Belnap–Dunn logic. arXiv:2203.01060 Preprint, arXiv:2203.01060 [math.LO] (2022). MSC: 03B48 03B52 03B53 BibTeX Cite \textit{M. Bílková} et al., ``Reasoning with belief functions over Belnap--Dunn logic'', Preprint, arXiv:2203.01060 [math.LO] (2022) Full Text: DOI arXiv OA License
Baltag, Alexandru; Rad, Soroush Rafiee; Smets, Sonja Tracking probabilistic truths: a logic for statistical learning. (English) Zbl 07797895 Synthese 199, No. 3-4, 9041-9087 (2021). MSC: 03B48 03B42 PDFBibTeX XMLCite \textit{A. Baltag} et al., Synthese 199, No. 3--4, 9041--9087 (2021; Zbl 07797895) Full Text: DOI
Trpin, Borut; Dobrosovestnova, Anna; Götzendorfer, Sebastian J. Lying, more or less: a computer simulation study of graded lies and trust dynamics. (English) Zbl 07795177 Synthese 199, No. 1-2, 991-1018 (2021). MSC: 03A05 03B42 03B48 PDFBibTeX XMLCite \textit{B. Trpin} et al., Synthese 199, No. 1--2, 991--1018 (2021; Zbl 07795177) Full Text: DOI
Rodrigues, Abilio; Bueno-Soler, Juliana; Carnielli, Walter Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic. (English) Zbl 1525.03083 Synthese 198, Suppl. 22, S5451-S5480 (2021). MSC: 03B48 03B47 03B50 PDFBibTeX XMLCite \textit{A. Rodrigues} et al., Synthese 198, S5451--S5480 (2021; Zbl 1525.03083) Full Text: DOI
Tappler, Martin; Muškardin, Edi; Aichernig, Bernhard K.; Pill, Ingo Active model learning of stochastic reactive systems. (English) Zbl 1522.68348 Calinescu, Radu (ed.) et al., Software engineering and formal methods. 19th international conference, SEFM 2021, virtual event, December 6–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13085, 481-500 (2021). MSC: 68Q60 68Q32 68Q45 68Q87 90C40 PDFBibTeX XMLCite \textit{M. Tappler} et al., Lect. Notes Comput. Sci. 13085, 481--500 (2021; Zbl 1522.68348) Full Text: DOI
Meester, Ronald; Kerkvliet, Timber The infinite epistemic regress problem has no unique solution. (English) Zbl 1507.03075 Synthese 198, No. 6, 4973-4983 (2021). MSC: 03B42 03A05 60A05 PDFBibTeX XMLCite \textit{R. Meester} and \textit{T. Kerkvliet}, Synthese 198, No. 6, 4973--4983 (2021; Zbl 1507.03075) Full Text: DOI
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Santos, Gabriel Automatic verification of concurrent stochastic systems. (English) Zbl 1505.68025 Form. Methods Syst. Des. 58, No. 1-2, 188-250 (2021). MSC: 68Q60 68Q85 68Q87 91A15 PDFBibTeX XMLCite \textit{M. Kwiatkowska} et al., Form. Methods Syst. Des. 58, No. 1--2, 188--250 (2021; Zbl 1505.68025) Full Text: DOI arXiv
Guallart, Nino Probability as a modal operator: the possibilities of its combination with other modalities. (English) Zbl 1494.03051 Log. J. IGPL 29, No. 4, 627-643 (2021). MSC: 03B45 03B48 03B42 PDFBibTeX XMLCite \textit{N. Guallart}, Log. J. IGPL 29, No. 4, 627--643 (2021; Zbl 1494.03051) Full Text: DOI
Junges, Sebastian; Jansen, Nils; Seshia, Sanjit A. Enforcing almost-sure reachability in POMDPs. (English) Zbl 1493.68213 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 602-625 (2021). MSC: 68Q60 68Q87 68T20 90C40 PDFBibTeX XMLCite \textit{S. Junges} et al., Lect. Notes Comput. Sci. 12760, 602--625 (2021; Zbl 1493.68213) Full Text: DOI arXiv
Holtzen, Steven; Junges, Sebastian; Vazquez-Chanlatte, Marcell; Millstein, Todd; Seshia, Sanjit A.; Van den Broeck, Guy Model checking finite-horizon Markov chains with probabilistic inference. (English) Zbl 1493.68210 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 577-601 (2021). MSC: 68Q60 60J22 68Q87 PDFBibTeX XMLCite \textit{S. Holtzen} et al., Lect. Notes Comput. Sci. 12760, 577--601 (2021; Zbl 1493.68210) Full Text: DOI arXiv
Junges, Sebastian; Torfah, Hazem; Seshia, Sanjit A. Runtime monitors for Markov decision processes. (English) Zbl 1493.68214 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 553-576 (2021). MSC: 68Q60 68Q87 90C40 PDFBibTeX XMLCite \textit{S. Junges} et al., Lect. Notes Comput. Sci. 12760, 553--576 (2021; Zbl 1493.68214) Full Text: DOI arXiv
Abate, Alessandro; Giacobbe, Mirco; Roy, Diptarko Learning probabilistic termination proofs. (English) Zbl 1493.68095 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 3-26 (2021). MSC: 68N19 68Q60 68Q87 68T05 PDFBibTeX XMLCite \textit{A. Abate} et al., Lect. Notes Comput. Sci. 12760, 3--26 (2021; Zbl 1493.68095) Full Text: DOI
Piho, Paul; Hillston, Jane Active and sparse methods in smoothed model checking. (English) Zbl 1491.68112 Abate, Alessandro (ed.) et al., Quantitative evaluation of systems. 18th international conference, QEST 2021, Paris, France, August 23–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12846, 217-234 (2021). MSC: 68Q60 68Q87 68T05 PDFBibTeX XMLCite \textit{P. Piho} and \textit{J. Hillston}, Lect. Notes Comput. Sci. 12846, 217--234 (2021; Zbl 1491.68112) Full Text: DOI arXiv
Hartmanns, Arnd; Katoen, Joost-Pieter; Kohlen, Bram; Spel, Jip Tweaking the odds in probabilistic timed automata. (English) Zbl 1491.68098 Abate, Alessandro (ed.) et al., Quantitative evaluation of systems. 18th international conference, QEST 2021, Paris, France, August 23–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12846, 39-58 (2021). MSC: 68Q45 68Q60 68Q87 90C40 PDFBibTeX XMLCite \textit{A. Hartmanns} et al., Lect. Notes Comput. Sci. 12846, 39--58 (2021; Zbl 1491.68098) Full Text: DOI
Maximova, Maria; Schneider, Sven; Giese, Holger Interval probabilistic timed graph transformation systems. (English) Zbl 1492.68071 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 PDFBibTeX XMLCite \textit{M. Maximova} et al., Lect. Notes Comput. Sci. 12741, 221--239 (2021; Zbl 1492.68071) Full Text: DOI Link
Castiglioni, Valentina; Loreti, Michele; Tini, Simone How adaptive and reliable is your program? (English) Zbl 1489.68139 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 PDFBibTeX XMLCite \textit{V. Castiglioni} et al., Lect. Notes Comput. Sci. 12719, 60--79 (2021; Zbl 1489.68139) Full Text: DOI
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 PDFBibTeX XMLCite \textit{J. He} and \textit{H. Liu}, Notre Dame J. Formal Logic 62, No. 4, 643--659 (2021; Zbl 07473063) Full Text: DOI
Getir Yaman, Sinem; Pavese, Esteban; Grunske, Lars Quantitative verification of stochastic regular expressions. (English) Zbl 1519.68135 Fundam. Inform. 179, No. 2, 135-163 (2021). MSC: 68Q60 03B70 68Q45 68Q87 PDFBibTeX XMLCite \textit{S. Getir Yaman} et al., Fundam. Inform. 179, No. 2, 135--163 (2021; Zbl 1519.68135) Full Text: DOI
Bentriou, Mahmoud; Ballarini, Paolo; Cournède, Paul-Henry Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models. (English) Zbl 1514.68121 Theor. Comput. Sci. 893, 191-219 (2021). MSC: 68Q60 62M02 62M05 68Q10 68Q87 PDFBibTeX XMLCite \textit{M. Bentriou} et al., Theor. Comput. Sci. 893, 191--219 (2021; Zbl 1514.68121) Full Text: DOI
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 PDFBibTeX XMLCite \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
Evangelidis, Alexandros; Parker, David Quantitative verification of Kalman filters. (English) Zbl 1519.68134 Formal Asp. Comput. 33, No. 4-5, 669-693 (2021). MSC: 68Q60 62M20 68Q87 93E11 PDFBibTeX XMLCite \textit{A. Evangelidis} and \textit{D. Parker}, Formal Asp. Comput. 33, No. 4--5, 669--693 (2021; Zbl 1519.68134) Full Text: DOI
Češka, Milan; Hensel, Christian; Junges, Sebastian; Katoen, Joost-Pieter Counterexample-guided inductive synthesis for probabilistic systems. (English) Zbl 1519.68055 Formal Asp. Comput. 33, No. 4-5, 637-667 (2021). MSC: 68N30 60J20 68Q60 68Q87 PDFBibTeX XMLCite \textit{M. Češka} et al., Formal Asp. Comput. 33, No. 4--5, 637--667 (2021; Zbl 1519.68055) Full Text: DOI
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 PDFBibTeX XMLCite \textit{T. Quatmann} and \textit{J.-P. Katoen}, Lect. Notes Comput. Sci. 12651, 230--249 (2021; Zbl 1467.68094) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{J. Spel} et al., Lect. Notes Comput. Sci. 12651, 173--190 (2021; Zbl 1467.68095) Full Text: DOI
Benouhiba, Toufik A multi-level refinement approach for structural synthesis of optimal probabilistic models. (English) Zbl 1497.68131 Fundam. Inform. 179, No. 1, 1-33 (2021). MSC: 68N99 68Q60 68Q87 PDFBibTeX XMLCite \textit{T. Benouhiba}, Fundam. Inform. 179, No. 1, 1--33 (2021; Zbl 1497.68131) Full Text: DOI
Ognjanović, Zoran; Stepić, Angelina Ilić; Perović, Aleksandar A Probabilistic Temporal Epistemic Logic. arXiv:2105.12498 Preprint, arXiv:2105.12498 [math.LO] (2021). MSC: 03B42 03B44 03B48 68T27 BibTeX Cite \textit{Z. Ognjanović} et al., ``A Probabilistic Temporal Epistemic Logic'', Preprint, arXiv:2105.12498 [math.LO] (2021) Full Text: arXiv OA License
Ilie, Catalin-Andrei; Worrell, James Ben Parametric model checking continuous-time Markov chains. (English) Zbl 07760477 Muñoz-Velasco, Emilio (ed.) et al., 27th international symposium on temporal representation and reasoning. TIME 2020, September 23–25, 2020, Bozen-Bolzano, Italy. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 178, Article 7, 18 p. (2020). MSC: 68Q60 03B48 PDFBibTeX XMLCite \textit{C.-A. Ilie} and \textit{J. B. Worrell}, LIPIcs -- Leibniz Int. Proc. Inform. 178, Article 7, 18 p. (2020; Zbl 07760477) Full Text: DOI
Kazemi, Milad; Soudjani, Sadegh Formal policy synthesis for continuous-state systems via reinforcement learning. (English) Zbl 1517.68243 Dongol, Brijesh (ed.) et al., Integrated formal methods. 16th international conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12546, 3-21 (2020). MSC: 68Q60 03B44 68Q87 68T05 PDFBibTeX XMLCite \textit{M. Kazemi} and \textit{S. Soudjani}, Lect. Notes Comput. Sci. 12546, 3--21 (2020; Zbl 1517.68243) Full Text: DOI arXiv
Kauss, Dominik Credence as doxastic tendency. (English) Zbl 1506.03029 Synthese 197, No. 10, 4495-4518 (2020). MSC: 03A05 03B42 PDFBibTeX XMLCite \textit{D. Kauss}, Synthese 197, No. 10, 4495--4518 (2020; Zbl 1506.03029) Full Text: DOI
Ábrahám, Erika; Bartocci, Ezio; Bonakdarpour, Borzoo; Dobe, Oyendrila Probabilistic hyperproperties with nondeterminism. (English) Zbl 1517.68218 Hung, Dang Van (ed.) et al., Automated technology for verification and analysis. 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12302, 518-534 (2020). MSC: 68Q60 03B44 68Q87 90C40 PDFBibTeX XMLCite \textit{E. Ábrahám} et al., Lect. Notes Comput. Sci. 12302, 518--534 (2020; Zbl 1517.68218) Full Text: DOI arXiv
Dimitrova, Rayna; Finkbeiner, Bernd; Torfah, Hazem Probabilistic hyperproperties of Markov decision processes. (English) Zbl 1517.68228 Hung, Dang Van (ed.) et al., Automated technology for verification and analysis. 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12302, 484-500 (2020). MSC: 68Q60 03B44 68Q87 90C40 PDFBibTeX XMLCite \textit{R. Dimitrova} et al., Lect. Notes Comput. Sci. 12302, 484--500 (2020; Zbl 1517.68228) Full Text: DOI arXiv
Li, Yong; Turrini, Andrea; Sun, Xuechao; Zhang, Lijun Proving non-inclusion of Büchi automata based on Monte Carlo sampling. (English) Zbl 1517.68205 Hung, Dang Van (ed.) et al., Automated technology for verification and analysis. 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12302, 467-483 (2020). MSC: 68Q45 68Q60 68Q87 PDFBibTeX XMLCite \textit{Y. Li} et al., Lect. Notes Comput. Sci. 12302, 467--483 (2020; Zbl 1517.68205) Full Text: DOI arXiv
Bork, Alexander; Junges, Sebastian; Katoen, Joost-Pieter; Quatmann, Tim Verification of indefinite-horizon POMDPs. (English) Zbl 1517.68225 Hung, Dang Van (ed.) et al., Automated technology for verification and analysis. 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12302, 288-304 (2020). MSC: 68Q60 68Q87 90C40 PDFBibTeX XMLCite \textit{A. Bork} et al., Lect. Notes Comput. Sci. 12302, 288--304 (2020; Zbl 1517.68225) Full Text: DOI arXiv
Elfar, Mahmoud; Wang, Yu; Pajic, Miroslav Context-aware temporal logic for probabilistic systems. (English) Zbl 1517.68232 Hung, Dang Van (ed.) et al., Automated technology for verification and analysis. 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12302, 215-232 (2020). MSC: 68Q60 03B44 68Q87 68T40 90C40 PDFBibTeX XMLCite \textit{M. Elfar} et al., Lect. Notes Comput. Sci. 12302, 215--232 (2020; Zbl 1517.68232) Full Text: DOI arXiv
Gros, Timo P.; Hermanns, Holger; Hoffmann, Jörg; Klauck, Michaela; Steinmetz, Marcel Deep statistical model checking. (English) Zbl 1511.68157 Gotsman, Alexey (ed.) et al., Formal techniques for distributed objects, components, and systems. 40th IFIP WG 6.1 international conference, FORTE 2020, held as part of the 15th international federated conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12136, 96-114 (2020). MSC: 68Q60 60J20 68Q87 68T07 90C40 PDFBibTeX XMLCite \textit{T. P. Gros} et al., Lect. Notes Comput. Sci. 12136, 96--114 (2020; Zbl 1511.68157) Full Text: DOI
Cordy, Maxime; Papadakis, Mike; Legay, Axel Statistical model checking for variability-intensive systems. (English) Zbl 1507.68181 Wehrheim, Heike (ed.) et al., Fundamental approaches to software engineering. 23rd international conference, FASE 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12076, 294-314 (2020). MSC: 68Q60 68Q87 PDFBibTeX XMLCite \textit{M. Cordy} et al., Lect. Notes Comput. Sci. 12076, 294--314 (2020; Zbl 1507.68181) Full Text: DOI
Delgrange, Florent; Katoen, Joost-Pieter; Quatmann, Tim; Randour, Mickael Simple strategies in multi-objective MDPs. (English) Zbl 1507.68183 Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12078, 346-364 (2020). MSC: 68Q60 68Q17 68Q87 90C40 PDFBibTeX XMLCite \textit{F. Delgrange} et al., Lect. Notes Comput. Sci. 12078, 346--364 (2020; Zbl 1507.68183) Full Text: DOI arXiv
Cubuktepe, Murat; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter; Topcu, Ufuk Scenario-based verification of uncertain MDPs. (English) Zbl 1507.68182 Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12078, 287-305 (2020). MSC: 68Q60 68Q87 90C40 PDFBibTeX XMLCite \textit{M. Cubuktepe} et al., Lect. Notes Comput. Sci. 12078, 287--305 (2020; Zbl 1507.68182) Full Text: DOI arXiv
Witczak, Tomasz Propositional logic with probability operators (based on general ideas of weak modal calculus). (English) Zbl 07585083 Urbański, Mariusz (ed.) et al., Reasoning: games, cognition, logic. Proceedings of the Poznań reasoning week multi-conference, Poznań, Poland, September 11–15, 2018. London: College Publications. Stud. Log. (Lond.) 83, 87-97 (2020). MSC: 03Bxx PDFBibTeX XMLCite \textit{T. Witczak}, Stud. Log. (Lond.) 83, 87--97 (2020; Zbl 07585083)
Vignero, Leander; Demey, Lorenz The perfect surprise: a new analysis in dynamic epistemic logic. (English) Zbl 1494.03043 Log. J. IGPL 28, No. 3, 341-362 (2020). MSC: 03B42 03B48 PDFBibTeX XMLCite \textit{L. Vignero} and \textit{L. Demey}, Log. J. IGPL 28, No. 3, 341--362 (2020; Zbl 1494.03043) Full Text: DOI Link
Szałas, Andrzej On the probability and cost of ignorance, inconsistency, nonsense and more. (English) Zbl 1494.03078 J. Mult.-Val. Log. Soft Comput. 34, No. 5-6, 423-450 (2020). MSC: 03B70 03B50 03B48 68T27 68N17 PDFBibTeX XMLCite \textit{A. Szałas}, J. Mult.-Val. Log. Soft Comput. 34, No. 5--6, 423--450 (2020; Zbl 1494.03078) Full Text: Link
van der Meyden, Ron; Patra, Manas K. Undecidable cases of model checking probabilistic temporal-epistemic logic. (English) Zbl 1502.68188 ACM Trans. Comput. Log. 21, No. 4, Article No. 32, 26 p. (2020). MSC: 68Q60 03B42 03B44 PDFBibTeX XMLCite \textit{R. van der Meyden} and \textit{M. K. Patra}, ACM Trans. Comput. Log. 21, No. 4, Article No. 32, 26 p. (2020; Zbl 1502.68188) Full Text: DOI arXiv
Thiagarajan, P. S.; Yang, Shaofa A theory of distributed Markov chains. (English) Zbl 1497.68353 Fundam. Inform. 175, No. 1-4, 301-325 (2020). MSC: 68Q85 60J20 68Q60 68Q87 PDFBibTeX XMLCite \textit{P. S. Thiagarajan} and \textit{S. Yang}, Fundam. Inform. 175, No. 1--4, 301--325 (2020; Zbl 1497.68353) Full Text: DOI
Hansson, Sven Ove Revising probabilities and full beliefs. (English) Zbl 1485.03037 J. Philos. Log. 49, No. 5, 1005-1039 (2020). MSC: 03B42 03B48 PDFBibTeX XMLCite \textit{S. O. Hansson}, J. Philos. Log. 49, No. 5, 1005--1039 (2020; Zbl 1485.03037) Full Text: DOI
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 PDFBibTeX XMLCite \textit{K. Batz} et al., Lect. Notes Comput. Sci. 12225, 512--538 (2020; Zbl 1478.68143) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{A. Hartmanns} and \textit{B. L. Kaminski}, Lect. Notes Comput. Sci. 12225, 488--511 (2020; Zbl 1478.68161) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{K. Chatterjee} et al., Lect. Notes Comput. Sci. 12225, 398--420 (2020; Zbl 1478.68151) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{M. Blondin} et al., Lect. Notes Comput. Sci. 12225, 372--397 (2020; Zbl 1478.68147) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{S. Feng} et al., Lect. Notes Comput. Sci. 12225, 327--348 (2020; Zbl 1478.68155) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{M. Vazquez-Chanlatte} and \textit{S. A. Seshia}, Lect. Notes Comput. Sci. 12225, 255--278 (2020; Zbl 1478.68301) Full Text: DOI arXiv
Mathur, Umang; Bauer, Matthew S.; Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh Exact quantitative probabilistic model checking through rational search. (English) Zbl 1506.68057 Form. Methods Syst. Des. 56, No. 1-3, 90-126 (2020). MSC: 68Q60 60J20 68Q87 90C40 PDFBibTeX XMLCite \textit{U. Mathur} et al., Form. Methods Syst. Des. 56, No. 1--3, 90--126 (2020; Zbl 1506.68057) Full Text: DOI
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 PDFBibTeX XMLCite \textit{V. Koponen}, Theor. Comput. Sci. 848, 1--27 (2020; Zbl 1483.03023) Full Text: DOI arXiv
D’Asaro, Fabio Aurelio; Bikakis, Antonis; Dickens, Luke; Miller, Rob Probabilistic reasoning about epistemic action narratives. (English) Zbl 1493.68344 Artif. Intell. 287, Article ID 103352, 47 p. (2020). MSC: 68T27 03B42 03B48 PDFBibTeX XMLCite \textit{F. A. D'Asaro} et al., Artif. Intell. 287, Article ID 103352, 47 p. (2020; Zbl 1493.68344) Full Text: DOI Link
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 PDFBibTeX XMLCite \textit{A. Hartmanns} et al., J. Autom. Reasoning 64, No. 7, 1483--1522 (2020; Zbl 1468.68132) Full Text: DOI
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 PDFBibTeX XMLCite \textit{M. Finger} and \textit{S. Preto}, J. Autom. Reasoning 64, No. 7, 1269--1286 (2020; Zbl 1468.68200) 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 PDFBibTeX XMLCite \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
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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \textit{C. Baier} et al., Inf. Comput. 272, Article ID 104504, 26 p. (2020; Zbl 1443.68101) Full Text: DOI arXiv
Kokkinis, Ioannis; Ognjanović, Zoran; Studer, Thomas Probabilistic justification logic. (English) Zbl 1515.03073 J. Log. Comput. 30, No. 1, 257-280 (2020). MSC: 03B42 03B48 PDFBibTeX XMLCite \textit{I. Kokkinis} et al., J. Log. Comput. 30, No. 1, 257--280 (2020; Zbl 1515.03073) Full Text: DOI Link
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 PDFBibTeX XMLCite \textit{E. Raidl} and \textit{W. Spohn}, J. Philos. Log. 49, No. 2, 283--313 (2020; Zbl 1484.03028) Full Text: DOI
André, Étienne; Delahaye, Benoît; Fournier, Paulin Consistency in parametric interval probabilistic timed automata. (English) Zbl 1494.68157 J. Log. Algebr. Methods Program. 110, Article ID 100459, 22 p. (2020). MSC: 68Q60 68Q45 68Q87 PDFBibTeX XMLCite \textit{É. André} et al., J. Log. Algebr. Methods Program. 110, Article ID 100459, 22 p. (2020; Zbl 1494.68157) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{N. Ikodinović} et al., Ann. Pure Appl. Logic 171, No. 4, Article ID 102755, 27 p. (2020; Zbl 1452.03064) Full Text: DOI
Pfeifer, Niki; Sanfilippo, Giuseppe Probability propagation rules for Aristotelian syllogisms. arXiv:2008.10338 Preprint, arXiv:2008.10338 [math.PR] (2020). MSC: 03A05 03B42 03B48 03C80 60-08 60A05 BibTeX Cite \textit{N. Pfeifer} and \textit{G. Sanfilippo}, ``Probability propagation rules for Aristotelian syllogisms'', Preprint, arXiv:2008.10338 [math.PR] (2020) Full Text: arXiv OA License
Lu, Chenguang Channels’ Confirmation and Predictions’ Confirmation: from the Medical Test to the Raven Paradox. arXiv:2001.07566 Preprint, arXiv:2001.07566 [cs.AI] (2020). MSC: 03B48 68T37 03B42 03B52 03B65 62F15 94A15 68T27 BibTeX Cite \textit{C. Lu}, ``Channels' Confirmation and Predictions' Confirmation: from the Medical Test to the Raven Paradox'', Preprint, arXiv:2001.07566 [cs.AI] (2020) Full Text: DOI arXiv OA License
Češka, Milan; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter Shepherding hordes of Markov chains. (English) Zbl 1527.68144 Vojnar, Tomáš (ed.) et al., Tools and algorithms for the construction and analysis of systems. 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 11428, 172-190 (2019). MSC: 68Q87 60J20 68Q25 68Q60 90C40 PDFBibTeX XMLCite \textit{M. Češka} et al., Lect. Notes Comput. Sci. 11428, 172--190 (2019; Zbl 1527.68144) Full Text: DOI arXiv
Pérez Otero, Manuel An epistemic puzzle about knowledge and rational credence. (English) Zbl 1522.03035 Int. Stud. Philos. Sci. 32, No. 3-4, 195-206 (2019). MSC: 03A10 03B42 03B48 60A05 PDFBibTeX XMLCite \textit{M. Pérez Otero}, Int. Stud. Philos. Sci. 32, No. 3--4, 195--206 (2019; Zbl 1522.03035) Full Text: DOI
Nosrati, Mohammad; Haghighi, Hassan A probabilistic extension of UML-B. (English) Zbl 1518.68213 Comput. Inform. 38, No. 1, 85-114 (2019). MSC: 68Q60 68Q87 PDFBibTeX XMLCite \textit{M. Nosrati} and \textit{H. Haghighi}, Comput. Inform. 38, No. 1, 85--114 (2019; Zbl 1518.68213) Full Text: DOI
Charlow, Nate The spectre of triviality. (English) Zbl 1497.03031 Analysis, Oxf. 79, No. 4, 595-605 (2019). MSC: 03B42 03B48 PDFBibTeX XMLCite \textit{N. Charlow}, Analysis, Oxf. 79, No. 4, 595--605 (2019; Zbl 1497.03031) Full Text: DOI
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 PDFBibTeX XMLCite \textit{A. Legay} et al., Lect. Notes Comput. Sci. 10000, 478--504 (2019; Zbl 1482.68142) Full Text: DOI
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 PDFBibTeX XMLCite \textit{C. Baier} et al., Lect. Notes Comput. Sci. 10000, 420--451 (2019; Zbl 1482.68133) Full Text: DOI
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 PDFBibTeX XMLCite \textit{J. Koscholke}, Erkenntnis 84, No. 6, 1183--1188 (2019; Zbl 1474.03031) 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 PDFBibTeX XMLCite \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 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 PDFBibTeX XMLCite \textit{J. M. Dunn} and \textit{N. M. Kiefer}, Outst. Contrib. Log. 18, 231--247 (2019; Zbl 1469.03075) 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 PDFBibTeX XMLCite \textit{J. Spel} et al., Lect. Notes Comput. Sci. 11781, 479--496 (2019; Zbl 1437.68121) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{A. Achimescu} et al., J. Log. Comput. 29, No. 7, 1015--1040 (2019; Zbl 1444.03020) Full Text: DOI Link
Fox, Gereon; Stan, Daniel; Hermanns, Holger Syntactic partial order compression for probabilistic reachability. (English) Zbl 1522.68316 Enea, Constantin (ed.) et al., Verification, model checking, and abstract interpretation. 20th international conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11388, 446-467 (2019). MSC: 68Q60 68Q85 68Q87 PDFBibTeX XMLCite \textit{G. Fox} et al., Lect. Notes Comput. Sci. 11388, 446--467 (2019; Zbl 1522.68316) Full Text: DOI
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 PDFBibTeX XMLCite \textit{F. G. Cozman} and \textit{D. D. Mauá}, Int. J. Approx. Reasoning 110, 107--126 (2019; Zbl 1460.68042) 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 PDFBibTeX XMLCite \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