×

Found 11 Documents (Results 1–11)

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).
PDFBibTeX XMLCite
Full Text: DOI

Probably safe or live. (English) Zbl 1394.68231

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 55, 10 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Parametric LTL on Markov chains. (English) Zbl 1417.68099

Diaz, Josep (ed.) et al., Theoretical computer science. 8th IFIP TC 1/WG 2.2 international conference, TCS 2014, Rome, Italy, September 1–3, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8705, 207-221 (2014).
MSC:  68Q60 03B44 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

Weighted lumpability on Markov chains. (English) Zbl 1336.68186

Clarke, Edmund (ed.) et al., Perspectives of systems informatics. 8th international Andrei Ershov memorial conference, PSI 2011, Novosibirsk, Russia, June 27 – July 1, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29708-3/pbk). Lecture Notes in Computer Science 7162, 322-339 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Linear-invariant generation for probabilistic programs: automated support for proof-based methods. (English) Zbl 1239.68020

Cousot, Radhia (ed.) et al., Static analysis. 17th international symposium, SAS 2010, Perpignan, France, September 14–16, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15768-4/pbk). Lecture Notes in Computer Science 6337, 390-406 (2010).
MSC:  68N19 68Q60 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Reachability in continuous-time Markov reward decision processes. (English) Zbl 1222.68120

Flum, Jörg (ed.) et al., Logic and automata. History and perspectives. Dedicated to Wolfgang Thomas on the occasion of his sixtieth birthday. Amsterdam: Amsterdam University Press (ISBN 978-90-5356-576-6/pbk). Texts in Logic and Games 2, 53-71 (2008).
PDFBibTeX XMLCite

Bisimulation and simulation relations for Markov chains. (English) Zbl 1316.68085

Aceto, Luca (ed.) et al., Proceedings of the workshop “Essays on algebraic process calculi” (APC 25), Bertinoro, Italy, August 1–5, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 162, 73-78 (2006).
MSC:  68Q85 60J20 68Q87
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