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.
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.