About Us
Research
People
Publications
Articles
Books
Books Chapters
Editorials
In Proceedings
Projects
Activities
Graduations
Seminars
Distinguished Lectures
Society
Login
About Us
Research
People
Publications
Articles
Books
Books Chapters
Editorials
In Proceedings
Projects
Activities
Graduations
Seminars
Distinguished Lectures
Society
Publication
Detail
Publication date: 01/01/2012
Statistical Model Checking for Markov Decision Processes
Authors
David Henriques, João Martins, Paolo Zuliani, Edmund M. Clarke,
Share
Publisher
IEEE Computer Society
Publisher
IEEE Computer Society