![Mathematics / Mathematical analysis / Temporal logic / Computation tree logic / Logic in computer science / Distribution / Symbol / Constructible universe / Linear temporal logic / Craig interpolation Mathematics / Mathematical analysis / Temporal logic / Computation tree logic / Logic in computer science / Distribution / Symbol / Constructible universe / Linear temporal logic / Craig interpolation](https://www.pdfsearch.io/img/d3806e7796914b021a0865e272fe5394.jpg) Date: 2012-01-06 05:40:55Mathematics Mathematical analysis Temporal logic Computation tree logic Logic in computer science Distribution Symbol Constructible universe Linear temporal logic Craig interpolation | | Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UKAdd to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source Website File Size: 475,20 KBShare Document on Facebook
|