A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem

Jean-Marie Lagniez; Daniel Le Berre; Tiago de Lima; Valentin Montmirail

Conference papers

A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem

Jean-Marie Lagniez ¹ Daniel Le Berre ¹ Tiago de Lima ¹ Valentin Montmirail ¹

1 CRIL - Centre de Recherche en Informatique de Lens

Document type :

Conference papers

Domain :

Computer Science [cs] / Artificial Intelligence [cs.AI]

Complete list of metadata

https://hal.univ-cotedazur.fr/hal-02271412
Contributor : Valentin Montmirail <>
Submitted on : Monday, August 26, 2019 - 5:51:32 PM
Last modification on : Tuesday, August 27, 2019 - 1:25:56 AM

A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem

Identifiers

Collections

Citation

Export

Metrics

62

A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem

Identifiers

Collections

Citation

Export

Share

Metrics

62