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

First Page		Document Content
Date: 2012-05-10 09:21:59 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 Source URL: www.prismmodelchecker.org Download Document from Source Website File Size: 475,20 KB Share Document on Facebook

	A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julien Brunel Damien Doligez DocID: 1qbbf - View Document
	Structured Parameter Estimation for LFG-DOP using Backoff Mary Hearne? and Khalil Sima’an† ? School of Computing, Dublin City University, Glasnevin, Dublin 9, Ireland † Institute for Logic, Language and Computation DocID: 1oCxi - View Document
	Extended Computation Tree Logic Roland Axelsson1 , Matthew Hague2 , Stephan Kreutzer2 , Martin Lange3 , and Markus Latte1 1 Department of Computer Science, Ludwig-Maximilians-Universit¨ DocID: 1mycE - View Document
	Extended Computation Tree Logic Roland Axelsson1 , Matthew Hague2 , Stephan Kreutzer2 , Martin Lange3 , and Markus Latte1 1 3 DocID: 1mpiw - View Document
	Extended Computation Tree Logic Roland Axelsson1 , Matthew Hague2 , Stephan Kreutzer2 , Martin Lange3 , and Markus Latte1 1 3 DocID: 1mbxQ - View Document