Stochastic Omega-Regular Verification and Control with Supermartingales.

Alessandro Abate, Mirco Giacobbe, Diptarko Roy

Browse the full CAV paper archive.