×

Found 12 Documents (Results 1–12)

Continuous-time Markov decisions based on partial exploration. (English) Zbl 1517.68220

Lahiri, Shuvendu K. (ed.) et al., Automated technology for verification and analysis. 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7–10, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11138, 317-334 (2018).
MSC:  68Q60 68Q87 90C40
PDFBibTeX XMLCite
Full Text: DOI arXiv

Efficient strategy iteration for mean payoff in Markov decision processes. (English) Zbl 1495.68152

D’Souza, Deepak (ed.) et al., Automated technology for verification and analysis. 15th international symposium, ATVA 2017, Pune, India, October 3–6, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10482, 380-399 (2017).
MSC:  68Q87 90C40 91A80
PDFBibTeX XMLCite
Full Text: DOI arXiv

Value iteration for long-run average reward in Markov decision processes. (English) Zbl 1494.68126

Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10426, 201-221 (2017).
MSC:  68Q45 68Q87 90C40
PDFBibTeX XMLCite
Full Text: DOI arXiv

Linear distances between Markov chains. (English) Zbl 1392.68293

Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 20, 15 p. (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Unifying two views on multiple mean-payoff objectives in Markov decision processes. (English) Zbl 1401.68171

Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 244-256 (2015).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Counterexample explanation by learning small strategies in Markov decision processes. (English) Zbl 1381.68104

Kroening, Daniel (ed.) et al., Computer aided verification. 27th international conference, CAV 2015, San Francisco, CA, USA, July 18–24, 2015. Proceedings. Part I. Cham: Springer (ISBN 978-3-319-21689-8/pbk; 978-3-319-21690-4/ebook). Lecture Notes in Computer Science 9206, 158-177 (2015).
MSC:  68Q32 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

Controller synthesis for MDPs and frequency \(\mathrm{LTL}_{ \setminus \mathrm{GU}}\). (English) Zbl 1471.68142

Davis, Martin (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 20th international conference, LPAR-20 2015, Suva, Fiji, November 24–28, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9450, 162-177 (2015).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Verification of Markov decision processes using learning algorithms. (English) Zbl 1448.68290

Cassez, Franck (ed.) et al., Automated technology for verification and analysis. 12th international symposium, ATVA 2014, Sydney, NSW, Australia, November 3–7, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8837, 98-114 (2014).
MSC:  68Q60 68Q87 68T05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Probabilistic bisimulation: naturally on distributions. (English) Zbl 1417.68130

Baldan, Paolo (ed.) et al., CONCUR 2014 – concurrency theory. 25th international conference, CONCUR 2014, Rome, Italy, September 2–5, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8704, 249-265 (2014).
MSC:  68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

Compositional verification and optimization of interactive Markov chains. (English) Zbl 1390.68472

D’Argenio, Pedro R. (ed.) et al., CONCUR 2013 – concurrency theory. 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40183-1/pbk). Lecture Notes in Computer Science 8052, 364-379 (2013).
MSC:  68Q85 68Q60 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

Verification of open interactive Markov chains. (English) Zbl 1354.68170

D’Souza, Deepak (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2012). Selected papers based on the presentations at the 32nd conference, Hyderabad, India, December 15–17, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-47-7). LIPIcs – Leibniz International Proceedings in Informatics 18, 474-485 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software