Registered user since Fri 17 Jan 2025
Name:Takashi Tomita
Country:Japan
Affiliation:JAIST
Personal website: https://orcid.org/0000-0003-1249-7862
Research interests:Formal Methods, Formal Verification, Formal Language, Model Checking, Reactive Synthesis, Testing, Temporal Logic, Automata
Contributions
Using general profile