![Numerical software / Model checking / Neuropsychology / Solver / Problem solving Numerical software / Model checking / Neuropsychology / Solver / Problem solving](https://www.pdfsearch.io/img/12e893f51231a7c0c89eba12606cb1de.jpg) Date: 2017-08-02 04:54:12Numerical software Model checking Neuropsychology Solver Problem solving | | The 4th Reactive Synthesis Competition SYNTCOMP 2017 Swen Jacobs Saarland University Roderick Bloem TU GrazAdd to Reading ListSource URL: www.react.uni-saarland.deDownload Document from Source Website File Size: 1,13 MBShare Document on Facebook
|