×

Found 13 Documents (Results 1–13)

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

Realizability of real-time logics. (English) Zbl 1262.68117

Ouaknine, Joël (ed.) et al., Formal modeling and analysis of timed systems. 7th international conference, FORMATS 2009, Budapest, Hungary, September 14–16, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04367-3/pbk). Lecture Notes in Computer Science 5813, 133-148 (2009).
PDFBibTeX XMLCite
Full Text: DOI

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

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software