×

Found 17 Documents (Results 1–17)

On probability-raising causality in Markov decision processes. (English) Zbl 07793022

Bouyer, Patricia (ed.) et al., Foundations of software science and computation structures. 25th international conference, FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13242, 40-60 (2022).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Operational causality – necessarily sufficient and sufficiently necessary. (English) Zbl 1524.68185

Jansen, Nils (ed.) et al., A journey from process algebra via timed automata to model learning. Essays dedicated to Frits Vaandrager on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13560, 27-45 (2022).
MSC:  68Q60 03B44
PDFBibTeX XMLCite
Full Text: DOI

Probabilistic causes in Markov chains. (English) Zbl 1497.68356

Hou, Zhe (ed.) et al., Automated technology for verification and analysis. 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12971, 205-221 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Farkas certificates and minimal witnesses for probabilistic reachability constraints. (English) Zbl 1507.68187

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, 324-345 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Maximizing the conditional expected reward for reaching the goal. (English) Zbl 1453.90180

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, 269-285 (2017).
MSC:  90C40 68Q25 68W40
PDFBibTeX XMLCite
Full Text: DOI arXiv

Ratio and weight quantiles. (English) Zbl 1465.68155

Italiano, F. (ed.) et al., Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24–28, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9234, 344-356 (2015).
MSC:  68Q45 60J10 68Q25
PDFBibTeX XMLCite
Full Text: DOI

Probabilistic model checking for energy-utility analysis. (English) Zbl 1407.68279

van Breugel, Franck (ed.) et al., Horizons of the mind. A tribute to Prakash Panangaden. Essays dedicated to Prakash Panangaden on the occasion of his 60th birthday. Berlin: Springer. Lect. Notes Comput. Sci. 8464, 96-123 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Probabilistic and topological semantics for timed automata. (English) Zbl 1135.68464

Arvind, V. (ed.) et al., FSTTCS 2007: Foundations of software technology and theoretical computer science. 27th international conference, New Delhi, India, December 12–14, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-77049-7/pbk). Lecture Notes in Computer Science 4855, 179-191 (2007).
MSC:  68Q60 68Q45 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Symbolic verification of communicating systems with probabilistic message losses: liveness and fairness. (English) Zbl 1225.68108

Najm, Elie (ed.) et al., Formal techniques for networked and distributed systems – FORTE 2006. 26th IFIP WG 6.1 international conference, Paris, France, September 26–29, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-46219-4/pbk). Lecture Notes in Computer Science 4229, 212-227 (2006).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software