Model Checking
Master course, TU Graz, 2021
I participate in designing and correcting homework for Model Checking
Filip Cano Córdoba
PhD Student at TU Graz in Artificial Intelligence
- Graz, Austria
- Github
- Google Scholar
- DBLP
Master course, TU Graz, 2021
I participate in designing and correcting homework for Model Checking