coalition-announcement-logic

There are 0 repository under coalition-announcement-logic topic.

• Twelvelines / MCCAL

  Model Checker with Coalition Announcement Logic

  model-checkingmodal-logicepistemic-logicmulti-agent-systemscoalition-announcement-logicantlrjava
  Language:Java 1