On the Representation of Probabilities over Structured Domains

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-48683-6_24 ◽

1999 ◽

pp. 261-273 ◽

Author(s):

Marius Bozga ◽

Oded Maler

Download Full-text