Shota Nakagawa (中川 翔太)
I am a 2nd-year master's course student in Group MMM (Hasuo-Lab),
Department of Computer Science,
Graduate School of Information Science and Technology,
The University of Tokyo.
My supervisor is Ichiro Hasuo.
- Formal verification
- Game-theoretic probability
Publications and theses
Shota Nakagawa and Ichiro Hasuo.
Near-Optimal Scheduling for LTL with Future Discounting.
Proc. TGC 2015, LNCS 9533, p. 112-130. [lncs]
Games for Discrete-time Markov Chain and Their Application to Verification.
BSc thesis, University of Tokyo, 2014. [pdf]
- Office: Room 415, Faculty of Science Building 7, 7-3-1 Hongo, Bunkyo, Tokyo 113-0033
- Email: chro96 [at] is.s.u-tokyo.ac.jp