Precisely - PDFSEARCH.IO - Document Search Engine

Precisely
Results: 444

#	Item
1	Playing Stochastic Games Precisely Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , Aistis Simaitis1 , Ashutosh Trivedi2 , and Michael Ummels3 1 Department of Computer Science, University of Oxford, Oxford, UK Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-10-17 07:22:55 Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Abstract algebra Stochastic game -automaton Lie algebras Lifting theory Littelmann path model
2	Playing Stochastic Games Precisely Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , Aistis Simaitis1 , Ashutosh Trivedi2 , and Michael Ummels3 1 Department of Computer Science, University of Oxford, Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-07-04 05:45:30 Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Abstract algebra Stochastic game -automaton Lie algebras Lifting theory Littelmann path model
3	PDF Document Add to Reading List Source URL: precisely-designed-catalyst.jp - Date: 2017-03-28 01:32:35
4	PDF Document Add to Reading List Source URL: precisely-designed-catalyst.jp - Date: 2016-03-30 22:51:22
5	PDF Document Add to Reading List Source URL: precisely-designed-catalyst.jp - Date: 2018-05-09 01:31:00
6	PDF Document Add to Reading List Source URL: precisely-designed-catalyst.jp - Date: 2017-01-29 23:40:37
7	PDF Document Add to Reading List Source URL: precisely-designed-catalyst.jp - Date: 2018-04-09 03:59:00
8	PDF Document Add to Reading List Source URL: precisely-designed-catalyst.jp - Date: 2016-02-29 00:13:16
9	PDF Document Add to Reading List Source URL: precisely-designed-catalyst.jp - Date: 2016-08-31 01:38:15
10	PDF Document Add to Reading List Source URL: precisely-designed-catalyst.jp - Date: 2016-05-15 21:48:04

UPDATE