Taking It to the Limit: Approximate Reasoning for Markov Processes.

Kim Guldstrand Larsen, Radu Mardare, Prakash Panangaden

Browse the full MFCS paper archive.