Model Checking Against Arbitrary Public Announcement Logic: A First-Order-Logic Prover Approach for the Existential Fragment - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Model Checking Against Arbitrary Public Announcement Logic: A First-Order-Logic Prover Approach for the Existential Fragment

Tristan Charrier
  • Fonction : Auteur
  • PersonId : 982100
Fichier non déposé

Dates et versions

hal-02533463 , version 1 (06-04-2020)

Identifiants

  • HAL Id : hal-02533463 , version 1

Citer

Tristan Charrier. Model Checking Against Arbitrary Public Announcement Logic: A First-Order-Logic Prover Approach for the Existential Fragment. Dynamic Logic: new trends and applications, Sep 2017, Brasilia, Brazil. ⟨hal-02533463⟩
144 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More