JKONG
Company in the United Kingdom
Resume
My Master's thesis at Imperial involved the development, implementation and evaluation of symbolic model checking algorithms for various temporal-epistemic logics (and suitable extensions). T…
last updated on October 13th, 2024