FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
From MaRDI portal
Publication:5897798
DOI10.1007/11590156zbMath1172.93337OpenAlexW2484051058MaRDI QIDQ5897798
Oldřich Stražovský, Antonín Kučera
Publication date: 14 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11590156
Related Items
Computing bottom SCCs symbolically using transition guided reduction ⋮ Satisfiability of quantitative probabilistic CTL: rise to the challenge ⋮ Unnamed Item ⋮ Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives