×

Found 3 Documents (Results 1–3)

On the complexity of reachability in parametric Markov decision processes. (English) Zbl 07649922

Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 14, 17 p. (2019).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Distributed synthesis in continuous time. (English) Zbl 1475.68207

Jacobs, Bart (ed.) et al., Foundations of software science and computation structures. 19th international conference, FOSSACS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9634, 353-369 (2016).
MSC:  68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software