×

Found 5 Documents (Results 1–5)

Satisfiability of quantitative probabilistic CTL: rise to the challenge. (English) Zbl 1528.68216

Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 364-387 (2022).
MSC:  68Q60 03B44
PDFBibTeX XMLCite
Full Text: DOI

Measuring performance of continuous-time stochastic processes using timed automata. (English) Zbl 1361.68136

Proceedings of the 14th ACM international conference on hybrid systems: computation and control, HSCC 2011, Chicago, IL, USA, April 12–14, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0629-4). 33-42 (2011).
PDFBibTeX XMLCite
Full Text: DOI

Stochastic real-time games with qualitative timed automata objectives. (English) Zbl 1287.68124

Gastin, Paul (ed.) et al., CONCUR 2010 – concurrency theory. 21st international conference, CONCUR 2010, Paris, France, August 31 – September 3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15374-7/pbk). Lecture Notes in Computer Science 6269, 207-221 (2010).
PDFBibTeX XMLCite
Full Text: DOI Link

Continuous-time stochastic games with time-bounded reachability. (English) Zbl 1250.91015

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, 61-72, electronic only (2009).
MSC:  91A15
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field