1
Published 2008
Table of Contents: ... for Markov Decision Processes with Qualitative Branching Time Objectives -- On Datalog vs. LFP -- Directed st...
View full text
Electronic eBook