Creative Commons
| Preface Orna Grumberg and Michael Huth | ||
| Model Checking Probabilistic Timed Automata with One or Two Clocks | ||
| Marcin Jurdzinski, Jeremy Sproston and Francois Laroussinie | ||
| Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations | ||
| Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand and David N. Jansen | ||
| Multi-Objective Model Checking of Markov Decision Processes | ||
| Kousha Etessami, Marta Kwiatkowska, Moshe Y. Vardi and Mihalis Yannakakis | ||
| Antichains for the Automata-Based Approach to Model-Checking | ||
| Laurent Doyen and Jean-François Raskin | ||
| A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes | ||
| Ahmed Bouajjani, Cezara Drăgoi, Constantin Enea, Yan Jurski and Mihaela Sighireanu | ||