![](/img/cover-not-exists.png)
[IEEE 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara (2017.9.21-2017.9.24)] 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - A Certified Procedure for RL Verification
Arusoaie, Andrei, Nowak, David, Rusu, Vlad, Lucanu, DorelYear:
2017
Language:
english
DOI:
10.1109/synasc.2017.00031
File:
PDF, 231 KB
english, 2017