𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Third International Conference on the Quantitative Evaluation of Systems - (QEST'06) - Riverside, CA, USA (2006.09.11-2006.09.14)] Third International Conference on the Quantitative Evaluation of Systems - (QEST'06) - Game-based Abstraction for Markov Decision Processes

✍ Scribed by Institute Of Electrical And Electronics Engineers (compiler)

Book ID: 120283895
Publisher: IEEE
Year: 2006
Weight: 214 KB
Category: Article
ISBN-13: 9780769526652
DOI: 10.1109/QEST.2006.19

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2011 Eighth International Conferen

[IEEE 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST) - Aachen, Germany (2011.09.5-2011.09.8)] 2011 Eighth International Conference on Quantitative Evaluation of SysTems - Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems

✍ Hahn, Ernst Moritz; Norman, Gethin; Parker, David; Wachter, Bjorn; Zhang, Lijun 📂 Article 📅 2011 🏛 IEEE 🌐 English ⚖ 349 KB

[IEEE 2010 Seventh International Confere

[IEEE 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST) - Williamsburg, VA, USA (2010.09.15-2010.09.18)] 2010 Seventh International Conference on the Quantitative Evaluation of Systems - The Measurable Space of Stochastic Processes

✍ Cardelli, Luca; Mardare, Radu 📂 Article 📅 2010 🏛 IEEE ⚖ 393 KB

[IEEE Fourth International Conference on

[IEEE Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Edinburgh, Scotland, UK (2007.09.17-2007.09.19)] Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Cluster Grid based Response-time analysis module for the PIPE Tool

✍ Kulatunga, Harini; Argent-Katwala, Ashok; Knottenbelt, William 📂 Article 📅 2007 🏛 IEEE ⚖ 313 KB

[IEEE Fourth International Conference on

[IEEE Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Edinburgh, Scotland, UK (2007.09.17-2007.09.19)] Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Simultaneous Transient Analysis of QBD Markov Chains for all Initial Configurations using a Level Based Recursion

✍ Velthoven, J. Van; Houdt, B. Van; Blondia, C. 📂 Article 📅 2007 🏛 IEEE ⚖ 463 KB

[IEEE 2010 Seventh International Confere

[IEEE 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST) - Williamsburg, VA, USA (2010.09.15-2010.09.18)] 2010 Seventh International Conference on the Quantitative Evaluation of Systems - Rare Event Simulation for Highly Dependable Systems with Fast Repairs

✍ Reijsbergen, Daniel; Boer, Pieter-Tjerk de; Scheinhardt, Werner; Haverkort, Boud 📂 Article 📅 2010 🏛 IEEE ⚖ 316 KB

[IEEE 2009 Sixth International Conferenc

[IEEE 2009 Sixth International Conference on the Quantitative Evaluation of Systems (QEST) - Budapest, Hungary (2009.09.13-2009.09.16)] 2009 Sixth International Conference on the Quantitative Evaluation of Systems - Faster Maximum Likelihood Estimation Algorithms for Markovian Arrival Processes

✍ Okamura, Hiroyuki; Dohi, Tadashi 📂 Article 📅 2009 🏛 IEEE ⚖ 266 KB