A Certified Procedure for RL Verification.

Andrei Arusoaie, David Nowak, Vlad Rusu, Dorel Lucanu

Browse the full SYNASC paper archive.