×

Found 20 Documents (Results 1–20)

Bounds for synchronizing Markov decision processes. (English) Zbl 07615735

Kulikov, Alexander S. (ed.) et al., Computer science – theory and applications. 17th international computer science symposium in Russia, CSR 2022, virtual event, June 29 – July 1, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13296, 133-151 (2022).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

The complexity of synthesis from probabilistic components. (English) Zbl 1440.68045

Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 9135, 108-120 (2015).
PDFBibTeX XMLCite
Full Text: DOI arXiv

On memoryless quantitative objectives. (English) Zbl 1342.91005

Owe, Olaf (ed.) et al., Fundamentals of computation theory. 18th international symposium, FCT 2011, Oslo, Norway, August 22–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22952-7/pbk). Lecture Notes in Computer Science 6914, 148-159 (2011).
MSC:  91A43 91A05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Probabilistic weighted automata. (English) Zbl 1254.68133

Bravetti, Mario (ed.) et al., CONCUR 2009 – concurrency theory. 20th international conference, CONCUR 2009, Bologna, Italy, September 1–4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04080-1/pbk). Lecture Notes in Computer Science 5710, 244-258 (2009).
MSC:  68Q45 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

Strategy construction for parity games with imperfect information. (English) Zbl 1160.68455

van Breugel, Franck (ed.) et al., CONCUR 2008 – concurrency theory. 19th international conference, CONCUR 2008, Toronto, Canada, August 19–22, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85360-2/pbk). Lecture Notes in Computer Science 5201, 325-339 (2008).
MSC:  68Q85 03B70 91A43
PDFBibTeX XMLCite
Full Text: DOI Link

Antichains: Alternative algorithms for LTL satisfiability and model-checking. (English) Zbl 1134.68404

Ramakrishnan, C. R. (ed.) et al., Tools and algorithms for the construction and analysis of systems. 14th international conference, TACAS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78799-0/pbk). Lecture Notes in Computer Science 4963, 63-77 (2008).
MSC:  68Q60 03B44
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