Back to Results
First PageMeta Content
Mathematics / 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, UK
Add to Reading List

Document Date: 2012-01-06 05:40:55


Open Document

File Size: 475,20 KB

Share Result on Facebook
UPDATE