Talk on HW Formal Methods Workshop @Hongkong
Symposium talk, HW Formal Methods Workshop, Virtual
In this talk, I introduced the history of model checking and our recent work in this topic
Talks and presentations
Talk on AAAI SSS-23
Symposium talk, AAAI SSS-23, Virtual
In this talk, I introduced our journey from LTLf satisfiability checking to synthesis.