×

Found 11 Documents (Results 1–11)

Synthesis of safe, optimal and compact strategies for stochastic hybrid games (invited paper). (English) Zbl 07649910

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 2, 5 p. (2019).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Compositional and quantitative model checking (extended abstract). (English) Zbl 1274.68196

Pnueli, Amir (ed.) et al., Perspectives of systems informatics. 7th international Andrei Ershov memorial conference, PSI 2009, Novosibirsk, Russia, June 15–19, 2009. Revised papers. Berlin: Springer (ISBN 978-3-642-11485-4/pbk). Lecture Notes in Computer Science 5947, 35-42 (2010).
MSC:  68Q60 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Priced timed automata: theory and tools. (English) Zbl 1248.68335

Kannan, Ravi (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2009), December 15–17, 2009, Kanpur, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-13-2). LIPIcs – Leibniz International Proceedings in Informatics 4, 417-425, electronic only (2009).
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software