@inproceedings(DBLP:conf/concur/AlurHKV98, author = "Rajeev Alur and Thomas A. Henzinger and Orna Kupferman and Moshe Y. Vardi", year = "1998", title = "Alternating Refinement Relations", booktitle = "CONCUR", series = "LNCS", volume = "1466", publisher = "Springer", pages = "163--178", url = "http://dx.doi.org/10.1007/BFb0055622", ) @inproceedings(DBLP:conf/tacas/BenediktLW13, author = "Michael Benedikt and Rastislav Lenhardt and James Worrell", year = "2013", title = "LTL Model Checking of Interval Markov Chains", booktitle = "TACAS", series = "LNCS", volume = "7795", publisher = "Springer", pages = "32--46", url = "http://dx.doi.org/10.1007/978-3-642-36742-7_3", ) @book(Billingsley1979, author = "Patrick Billingsley", year = "1979", title = "Probability and Measure", publisher = "John Wiley and Sons", address = "New York, Toronto, London", ) @inproceedings(CS02, author = "Stefano Cattani and Roberto Segala", year = "2002", title = "Decision Algorithms for Probabilistic Bisimulation", booktitle = "{CONCUR}", series = "LNCS", volume = "2421", pages = "371--385", url = "http://dx.doi.org/10.1007/3-540-45694-5_25", ) @article(Chand:1970:ACP, author = "Donald R. Chand and Sham S. Kapur", year = "1970", title = "An Algorithm for Convex Polytopes", journal = "J. ACM", volume = "17", number = "1", pages = "78--86", url = "http://dx.doi.org/10.1145/321556.321564", ) @inproceedings(DBLP:conf/csl/ChatterjeeCK12, author = "Krishnendu Chatterjee and Siddhesh Chaubal and Pritish Kamath", year = "2012", title = "Faster Algorithms for Alternating Refinement Relations", booktitle = "CSL", series = "LIPIcs", volume = "16", publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik", pages = "167--182", url = "http://dx.doi.org/10.4230/LIPIcs.CSL.2012.167", ) @inproceedings(DBLP:conf/fossacs/ChatterjeeSH08, author = "Krishnendu Chatterjee and Koushik Sen and Thomas A. Henzinger", year = "2008", title = "Model-Checking omega-Regular Properties of Interval Markov Chains", booktitle = "FoSSaCS", series = "LNCS", volume = "4962", publisher = "Springer", pages = "302--317", url = "http://dx.doi.org/10.1007/978-3-540-78499-9_22", ) @article(DBLP:journals/ipl/ChenHK13, author = "Taolue Chen and Tingting Han and Marta Z. Kwiatkowska", year = "2013", title = "On the complexity of model checking interval-valued discrete time Markov chains", journal = "Inf. Process. Lett.", volume = "113", number = "7", pages = "210--216", url = "http://dx.doi.org/10.1016/j.ipl.2013.01.004", ) @inproceedings(DBLP:conf/vmcai/DelahayeKLLPSW11, author = "Beno\^{\i }t Delahaye and Joost-Pieter Katoen and Kim G. Larsen and Axel Legay and Mikkel L. Pedersen and Falak Sher and Andrzej Wasowski", year = "2011", title = "Abstract Probabilistic Automata", booktitle = "VMCAI", series = "LNCS", volume = "6538", publisher = "Springer", pages = "324--339", url = "http://dx.doi.org/10.1007/978-3-642-18275-4_23", ) @inproceedings(DBLP:conf/acsd/DelahayeKLLPSW11, author = "Beno\^{\i }t Delahaye and Joost-Pieter Katoen and Kim G. Larsen and Axel Legay and Mikkel L. Pedersen and Falak Sher and Andrzej Wasowski", year = "2011", title = "New Results on Abstract Probabilistic Automata", booktitle = "ACSD", publisher = "IEEE", pages = "118--127", url = "http://doi.ieeecomputersociety.org/10.1109/ACSD.2011.10", ) @inproceedings(DBLP:conf/lata/DelahayeLLPW11, author = "Beno\^{\i }t Delahaye and Kim G. Larsen and Axel Legay and Mikkel L. Pedersen and Andrzej Wasowski", year = "2011", title = "Decision Problems for Interval Markov Chains", booktitle = "LATA", series = "LNCS", volume = "6638", publisher = "Springer", pages = "274--285", url = "http://dx.doi.org/10.1007/978-3-642-21254-3_21", ) @inproceedings(DBLP:conf/spin/FecherLW06, author = "Harald Fecher and Martin Leucker and Verena Wolf", year = "2006", title = "Don't Know in Probabilistic Systems", booktitle = "SPIN", series = "LNCS", volume = "3925", publisher = "Springer", pages = "71--88", url = "http://dx.doi.org/10.1007/11691617_5", ) @article(DBLP:journals/ai/GivanLD00, author = "Robert Givan and Sonia M. Leach and Thomas L. Dean", year = "2000", title = "Bounded-parameter Markov decision processes", journal = "Artif. Intell.", volume = "122", number = "1-2", pages = "71--109", url = "http://dx.doi.org/10.1016/S0004-3702(00)00047-3", ) @inproceedings(DBLP:conf/nfm/HahnHZ11, author = "Ernst Moritz Hahn and Tingting Han and Lijun Zhang", year = "2011", title = "Synthesis for PCTL in Parametric Markov Decision Processes", booktitle = "NASA Formal Methods", series = "LNCS", volume = "6617", publisher = "Springer", pages = "146--161", url = "http://dx.doi.org/10.1007/978-3-642-20398-5_12", ) @article(DBLP:journals/fac/HanssonJ94, author = "Hans Hansson and Bengt Jonsson", year = "1994", title = "A Logic for Reasoning about Time and Reliability", journal = "Formal Asp. Comput.", volume = "6", number = "5", pages = "512--535", url = "http://dx.doi.org/10.1007/BF01211866", ) @techreport(HHK14, author = "Vahid Hashemi and Hassan Hatefi and Jan Kr\v {c}\'{a}l", year = "2014", title = "Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs", type = "AVACS Technical Report No.", number = "97", institution = "SFB/TR 14 AVACS", note = "ISSN: 1860-9821, http://www.avacs.org.", ) @article(DBLP:journals/mor/Iyengar05, author = "Garud N. Iyengar", year = "2005", title = "Robust Dynamic Programming", journal = "Math. Oper. Res.", volume = "30", number = "2", pages = "257--280", url = "http://dx.doi.org/10.1287/moor.1040.0129", ) @inproceedings(DBLP:conf/lics/JonssonL91, author = "Bengt Jonsson and Kim Guldstrand Larsen", year = "1991", title = "Specification and Refinement of Probabilistic Processes", booktitle = "LICS", publisher = "IEEE Computer Society", pages = "266--277", url = "http://dx.doi.org/10.1109/LICS.1991.151651", ) @article(KS90, author = "Paris C. Kanellakis and Scott A. Smolka", year = "1990", title = "{CCS} {E}xpressions, {F}inite {S}tate {P}rocesses, and {T}hree {P}roblems of {E}quivalence", journal = "Inf. Comput.", volume = "86", number = "1", pages = "43--68", url = "http://dx.doi.org/10.1016/0890-5401(90)90025-D", ) @inproceedings(DBLP:conf/formats/KatoenKN09, author = "Joost-Pieter Katoen and Daniel Klink and Martin R. Neuh{\"a}u{\ss }er", year = "2009", title = "Compositional Abstraction for Stochastic Systems", booktitle = "FORMATS", series = "LNCS", volume = "5813", publisher = "Springer", pages = "195--211", url = "http://dx.doi.org/10.1007/978-3-642-04368-0_16", ) @inproceedings(DBLP:conf/acsd/KatoenPST10, author = "Joost-Pieter Katoen and Jaco van de Pol and Mari{\"e}lle Stoelinga and Mark Timmer", year = "2010", title = "A Linear Process-Algebraic Format for Probabilistic Systems with Data", booktitle = "ACSD", publisher = "IEEE Computer Society", pages = "213--222", url = "http://doi.ieeecomputersociety.org/10.1109/ACSD.2010.18", ) @article(DBLP:journals/rc/KozineU02, author = "Igor Kozine and Lev V. Utkin", year = "2002", title = "Interval-Valued Finite Markov Chains", journal = "Reliable Computing", volume = "8", number = "2", pages = "97--113", url = "http://dx.doi.org/10.1023/A:1014745904458", ) @article(DBLP:journals/iandc/LarsenS91, author = "Kim Guldstrand Larsen and Arne Skou", year = "1991", title = "Bisimulation through Probabilistic Testing", journal = "Inf. Comput.", volume = "94", number = "1", pages = "1--28", url = "http://dx.doi.org/10.1016/0890-5401(91)90030-6", ) @book(DBLP:books/daglib/0067019, author = "Robin Milner", year = "1989", title = "Communication and concurrency", series = "PHI Series in computer science", publisher = "Prentice Hall", ) @article(DBLP:journals/ior/NilimG05, author = "Arnab Nilim and Laurent El Ghaoui", year = "2005", title = "Robust Control of Markov Decision Processes with Uncertain Transition Matrices", journal = "Operations Research", volume = "53", number = "5", pages = "780--798", url = "http://dx.doi.org/10.1287/opre.1050.0216", ) @article(PT87, author = "Robert Paige and Robert E. Tarjan", year = "1987", title = "Three Partition Refinement Algorithms", journal = "{SIAM} J. on Computing", volume = "16", number = "6", pages = "973--989", url = "http://dx.doi.org/10.1137/0216062", ) @inproceedings(DBLP:conf/focs/Pnueli77, author = "Amir Pnueli", year = "1977", title = "The Temporal Logic of Programs", booktitle = "FOCS", publisher = "IEEE Computer Society", pages = "46--57", url = "http://doi.ieeecomputersociety.org/10.1109/SFCS.1977.32", ) @inproceedings(DBLP:conf/cav/PuggelliLSS13, author = "Alberto Puggelli and Wenchao Li and Alberto L. Sangiovanni-Vincentelli and Sanjit A. Seshia", year = "2013", title = "Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties", booktitle = "CAV", series = "LNCS", volume = "8044", publisher = "Springer", pages = "527--542", url = "http://dx.doi.org/10.1007/978-3-642-39799-8_35", ) @book(Puterman:1994:MDP:528623, author = "Martin L. Puterman", year = "1994", title = "Markov Decision Processes: Discrete Stochastic Dynamic Programming", edition = "1st", publisher = "John Wiley \& Sons, Inc.", address = "New York, NY, USA", url = "http://dx.doi.org/10.1002/9780470316887", ) @phdthesis(mringwal:phdthesis:2009, author = "Matthias Ringwald", year = "2009", title = "Reducing Uncertainty in Wireless Sensor Networks - Network Inspection and Collision-Free Medium Access", school = "ETH Zurich", address = "Zurich, Switzerland", ) @phdthesis(Segala-thesis, author = "Roberto Segala", year = "1995", title = "Modeling and Verification of Randomized Distributed Real-Time Systems", school = "Laboratory for Computer Science, Massachusetts Institute of Technology", ) @inproceedings(SL94, author = "Roberto Segala and Nancy A. Lynch", year = "1994", title = "Probabilistic Simulations for Probabilistic Processes", booktitle = "{CONCUR}", series = "LNCS", volume = "836", pages = "481--496", url = "http://dx.doi.org/10.1007/BFb0015027", ) @inproceedings(DBLP:conf/tacas/SenVA06, author = "Koushik Sen and Mahesh Viswanathan and Gul Agha", year = "2006", title = "Model-Checking Markov Chains in the Presence of Uncertainties", booktitle = "TACAS", series = "LNCS", volume = "3920", publisher = "Springer", pages = "394--410", url = "http://dx.doi.org/10.1007/11691372_26", ) @article(Subramani09, author = "K. Subramani", year = "2009", title = "On the Complexities of Selected Satisfiability and Equivalence Queries over Boolean Formulas and Inclusion Queries over Hulls", journal = "JAMDS", volume = "2009", url = "http://dx.doi.org/10.1155/2009/845804", ) @inproceedings(DBLP:conf/qest/Timmer11, author = "Mark Timmer", year = "2011", title = "SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes", booktitle = "QEST", publisher = "IEEE Computer Society", pages = "149--150", url = "http://doi.ieeecomputersociety.org/10.1109/QEST.2011.27", ) @inproceedings(DBLP:conf/cdc/WolffTM12, author = "Eric M. Wolff and Ufuk Topcu and Richard M. Murray", year = "2012", title = "Robust control of uncertain Markov Decision Processes with temporal logic specifications", booktitle = "CDC", publisher = "IEEE", pages = "3372--3379", url = "http://dx.doi.org/10.1109/CDC.2012.6426174", ) @article(DBLP:journals/ai/WuK08, author = "Di Wu and Xenofon D. Koutsoukos", year = "2008", title = "Reachability analysis of uncertain systems using bounded-parameter Markov decision processes", journal = "Artif. Intell.", volume = "172", number = "8-9", pages = "945--954", url = "http://dx.doi.org/10.1016/j.artint.2007.12.002", ) @inproceedings(yi1994reasoning, author = "Wang Yi", year = "1994", title = "Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain Information", booktitle = "FTRTFT", series = "LNCS", volume = "863", publisher = "Springer", pages = "680--693", url = "http://dx.doi.org/10.1007/3-540-58468-4_190", )