Decision Procedures for Time and Chance (Extended Abstract)

Sarit Kraus, Daniel Lehmann

Browse the full FOCS paper archive.