The joint work between ISCAS, University of Liverpool, and University of Technology Sydney about model checking probabilistic epistemic logic for probabilistic multiagent systems [FuTHSFZ18] has been accepted in IJCAI’18.
Paper accepted in IJCAI’18
- Paper accepted in PLDI’18
- CAP Workshop in Beijing