@inproceedings(Alfaro07, author = "Luca de~Alfaro and Rupak Majumdar and Vishwanath Raman and Marielle Stoelinga", year = "2007", title = "Game Relations and Metrics", booktitle = "LICS '07", publisher = "IEEE Computer Society", pages = "99--108", doi = "10.1109/LICS.2007.22", ) @inproceedings(Baier96b, author = "Christel Baier", year = "1996", title = "Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation", booktitle = "CAV'96", series = "LNCS", volume = "1102", pages = "38--49", doi = "10.1007/3-540-61474-5\_57", ) @inproceedings(breugelSW07, author = "Franck van Breugel and Babita Sharma and James Worrell", year = "2007", title = "Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems.", booktitle = "FOSSACS", series = "LNCS", volume = "4423", publisher = "Springer", pages = "123--137", doi = "10.1007/978-3-540-71389-0\_10", ) @inproceedings(Worrell01, author = "Franck van Breugel and James Worrell", year = "2001", title = "An Algorithm for Quantitative Verification of Probabilistic Transition Systems", booktitle = "CONCUR '01", publisher = "Springer-Verlag", pages = "336--350", doi = "10.1007/3-540-44685-0\_23", ) @article(breugel05, author = "Franck van Breugel and James Worrell", year = "2004", title = "A behavioural pseudometric for probabilistic transition systems", journal = "Theor. Comput. Sci.", volume = "331", number = "1", pages = "115--142", doi = "10.1007/3-540-48224-5\_35", ) @inproceedings(Segala02, author = "Stefano Cattani and Roberto Segala", year = "2002", title = "Decision Algorithms for Probabilistic Bisimulation", booktitle = "CONCUR '02", publisher = "Springer-Verlag", pages = "371--385", doi = "10.1007/3-540-45694-5\_25", ) @inproceedings(CSKN05, author = "Stefano Cattani and Roberto Segala and Marta Kwiatkowska and Gethin Norman", year = "2005", title = "Stochastic transition systems for continuous state spaces and non-determinism", booktitle = "FOSSACS'05", series = "LNCS", volume = "3441", publisher = "Springer Verlag", pages = "125--139", doi = "10.1007/978-3-540-31982-5\_8", ) @article(chatterjee2008algorithms, author = "K.~Chatterjee and Luca de~Alfaro and Rupak Majumdar and Vishwanath Raman", year = "2010, to appear.", title = "{Algorithms for game metrics}", journal = "LMCS: Logical Methods in Computer Science", doi = "10.2168/LMCS-6(3:13)2010", ) @article(DArg09, author = "Pedro~R. D'Argenio and Nicol\'as Wolovick and Pedro~S\'anchez Terraf and Pablo Celayes", year = "2009", title = "Nondeterministic labeled {Markov} processes: bisimulations and logical characterization", journal = "QEST'09", pages = "11--20", doi = "10.1109/QEST.2009.17", ) @article(Desharnais02, author = "Jos\'ee Desharnais and Abbas Edalat and Prakash Panangaden", year = "2002", title = "Bisimulation for Labeled {Markov} Processes", journal = "Information and Computation", volume = "179", number = "2", pages = "163--193", doi = "10.1.1.16.5653", ) @inproceedings(Desharnais99b, author = "Jos\'ee Desharnais and Vineet Gupta and R.~Jagadeesan and P.~Panangaden", year = "1999", title = "Metrics for Labeled {Markov} Processes", booktitle = "CONCUR'99", series = "LNCS", publisher = "Springer-Verlag", pages = "258--273", doi = "10.1007/3-540-48320-9\_19", ) @conference(DesLavTra08, author = "Jos\'ee Desharnais and Fran\c {c}ois Laviolette and Mathieu Tracol", year = "2008", title = "Approximate analysis of probabilistic processes: logic, simulation and games", booktitle = "QEST'08", publisher = "IEEE Computer Society", pages = "264--273", doi = "10.1109/QEST.2008.42", ) @inproceedings(DesLavZhi06, author = "Jos\'ee Desharnais and Fran\c {c}ois Laviolette and Sami Zhioua", year = "2006", title = "Testing Probabilistic Equivalence Through Reinforcement Learning", booktitle = "FSTTCS'06", series = "LNCS", volume = "4337", publisher = "Springer", pages = "236--247", doi = "10.1007/11944836\_23", ) @conference(ferns2004metrics, author = "Norm Ferns and Prakash Panangaden and Doina Precup", year = "2004", title = "{Metrics for finite Markov decision processes}", booktitle = "UAI'04", organization = "AUAI Press Arlington, Virginia, United States", pages = "162--169", doi = "10.1.1.87.9485", ) @inproceedings(Ferns05, author = "Norman Ferns and Prakash Panangaden and Doina Precup", year = "2005", title = "Metrics for {Markov} Decision Processes with Infinite State Spaces", booktitle = "UAI'05", publisher = "AUAI Press", pages = "201", doi = "10.1007/BF01908587", ) @book(garey1979computers, author = "Michael~R. Garey and David~S. Johnson", year = "1979", title = "{Computers and Intractability: A Guide to the Theory of NP-completeness}", publisher = "W. H. Freeman \& Co.", address = "New York, NY, USA", ) @inproceedings(Giacalone90, author = "Alessandro Giacalone and Chi-Chang Jou and Scott~A. Smolka", year = "1990", title = "Algebraic Reasoning for Probabilistic Concurrent Systems", booktitle = "Proc. IFIP TC2 Working Conference on Programming Concepts and Methods", publisher = "North-Holland", pages = "443--458", doi = "10.1.1.56.3664", ) @book(HermannsIMC02, author = "Holger Hermanns", year = "2002", title = "Interactive Markov chains, and the quest for quantified quality", publisher = "Springer-Verlag", address = "Berlin, Heidelberg", doi = "10.1007/3-540-45804-2", ) @article(Larsen91, author = "Kim~G. Larsen and Arne Skou", year = "1991", title = "Bisimulation through Probablistic Testing", journal = "Information and Computation", volume = "94", pages = "1--28", doi = "10.1.1.158.9316", ) @inproceedings(Segala07, author = "Augusto Parma and Roberto Segala", year = "2007", title = "Logical characterisation of Bisimulations for Discrete Probabilistic Systems", booktitle = "FOSSACS'07", series = "LNCS", volume = "4423", publisher = "Springer-Verlag", pages = "287--301", doi = "10.1007/978-3-540-71389-0\_21", ) @book(Puterman:Book, author = "Martin~L. Puterman", year = "1994", title = "Markov {D}ecision {P}rocesses: {D}iscrete Stochastic Dynamic Programming", publisher = "Wiley", ) @inproceedings(Segala94, author = "Roberto Segala and Nancy Lynch", year = "1994", title = "Probabilistic Simulations for Probabilistic Processes", booktitle = "CONCUR'94", series = "LNCS", volume = "836", publisher = "Springer-Verlag", pages = "481--496", doi = "10.1007/BFb0015027", ) @inproceedings(SegalaT07, author = "Roberto Segala and Andrea Turrini", year = "2007", title = "Approximated Computationally Bounded Simulation Relations for Probabilistic Automata", booktitle = "CSF'07", pages = "140--156", doi = "10.1007/3-540-45694-5\_25", ) @inproceedings(zhang2007flow, author = "Lijun Zhang and Holger Hermanns and Friedrich. Eisenbrand and David~N. Jansen", year = "2007", title = "{Flow faster: efficient decision algorithms for probabilistic simulations}", booktitle = "TACAS'07", series = "LNCS", volume = "4424", publisher = "Springer-Verlag", pages = "155--169", doi = "10.1007/978-3-540-71209-1\_14", )