CAP Project

CAP Project

The CAP Sino-German Project

  • Home
  • Work Packages
    • WP1: Exploiting Modularity and Compositionality
    • WP2: Abstraction-Based Model Reduction
    • WP3: Approaches for Parametrized Systems
  • Partners & People
  • Announcements
  • Publications
  • Deliverables

Paper accepted in IJCAI’18

andreaApril 17, 2018May 2, 2018 Publication

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 PLDI’18
  • CAP Workshop in Beijing →

Latest news

  • CAP Workshop in Beijing
  • Paper accepted in IJCAI’18
  • Paper accepted in PLDI’18
  • Paper accepted in VMCAI’18
  • SETTA’17 best paper award

Admin area

  • Log in
Copyright © 2023 CAP Project. Theme by Colorlib Powered by WordPress