Registered user since Sat 12 Oct 2024
Name:Masaki Waga
Country:Japan
Affiliation:Kyoto University
Personal website: https://www.fos.kuis.kyoto-u.ac.jp/~mwaga/
GitHub: https://github.com/MasWag
Research interests:Runtime Verification, Automata Learning, Falsification, Model Checking
Contributions
Using general profile