×

Found 13 Documents (Results 1–13)

On frequency LTL in probabilistic systems. (English) Zbl 1374.68284

Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 184-197 (2015).
MSC:  68Q60 03B44 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

Trading performance for stability in Markov decision processes. (English) Zbl 1366.68087

Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 331-340 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Multi-objective discounted reward verification in graphs and MDPs. (English) Zbl 1406.68051

McMillan, Ken (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-45220-8/pbk). Lecture Notes in Computer Science 8312, 228-242 (2013).
PDFBibTeX XMLCite
Full Text: DOI

PRISM-games: a model checker for stochastic multi-player games. (English) Zbl 1381.68151

Piterman, Nir (ed.) et al., Tools and algorithms for the construction and analysis of systems. 19th international conference, TACAS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-36741-0/pbk). Lecture Notes in Computer Science 7795, 185-191 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Bisimilarity of probabilistic pushdown automata. (English) Zbl 1354.68152

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, 448-460 (2012).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Pareto curves for probabilistic model checking. (English) Zbl 1374.68285

Chakraborty, Supratik (ed.) et al., Automated technology for verification and analysis. 10th international symposium, ATVA 2012, Thiruvananthapuram, India, October 3–6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33385-9/pbk). Lecture Notes in Computer Science 7561, 317-332 (2012).
MSC:  68Q60 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

Automatic verification of competitive stochastic systems. (English) Zbl 1352.68150

Flanagan, Cormac (ed.) et al., Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28755-8/pbk). Lecture Notes in Computer Science 7214, 315-330 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Quantitative multi-objective verification for probabilistic systems. (English) Zbl 1315.68177

Abdulla, Parosh Aziz (ed.) et al., Tools and algorithms for the construction and analysis of systems. 17th international conference, TACAS 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 – April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19834-2/pbk). Lecture Notes in Computer Science 6605, 112-127 (2011).
MSC:  68Q60 68Q45 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software