Posts Tagged ‘Verification’

12
May

My PhD Thesis

This is a dedicated page of my PhD thesis: Reasoning about Time, Action and Knowledge in Multi-Agent Systems

03
Apr

Notable publication in Formal Verification from Wikipedia

Ji:I was doing my homework, and then I found a wikipedia entry about List of important publications in Computer Science. I think it is always good to see that how a successful topic was created and breakthrough was made. Apparently, not so many people can achieve even one, but it would be a pity that [...]