Google Research

Model Checking Markov Chains Against Unambiguous Buchi Automata

Michael Benedikt
Rastislav Lenhardt
James Worrell
University of Oxford (2014)
Download Google Scholar

Abstract

Research Areas

×