𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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

✍ Scribed by Hahn, Ernst Moritz; Norman, Gethin; Parker, David; Wachter, Bjorn; Zhang, Lijun

Book ID: 126729917
Publisher: IEEE
Year: 2011
Tongue: English
Weight: 349 KB
Category: Article
ISBN: 1457709732
DOI: 10.1109/QEST.2011.17

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 - Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems

✍ Soudjani, Sadegh Esmaeil Zadeh; Abate, Alessandro 📂 Article 📅 2011 🏛 IEEE 🌐 English ⚖ 359 KB

[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 - APAC: A Tool for Reasoning about Abstract Probabilistic Automata

✍ Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wasowski, An 📂 Article 📅 2011 🏛 IEEE 🌐 English ⚖ 151 KB

[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 - A Hybrid Approach for Large Cache Performance Studies

✍ Daly, David; Dube, Parijat; El Maghraoui, Kaoutar; Poff, Dan; Zhang, Li 📂 Article 📅 2011 🏛 IEEE ⚖ 415 KB

[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 - Fluid Limits Applied to Peer to Peer Network Analysis

✍ Aspirot, Laura; Mordecki, Ernesto; Rubino, Gerardo 📂 Article 📅 2011 🏛 IEEE 🌐 English ⚖ 393 KB

[IEEE Third International Conference on

[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

✍ Institute Of Electrical And Electronics Engineers (compiler) 📂 Article 📅 2006 🏛 IEEE ⚖ 214 KB

[IEEE 2011 5th International Conference

[IEEE 2011 5th International Conference on Network and System Security (NSS 2011) - Milan (2011.09.6-2011.09.8)] 2011 5th International Conference on Network and System Security - A conceptual framework for evaluating usable security in authentication mechanisms - usability perspectives

✍ Mihajlov, M.; Jerman-Blazic, B.; Josimovski, S. 📂 Article 📅 2011 🏛 IEEE ⚖ 632 KB