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

Jean-Marie Lagniez 1 Daniel Le Berre 1 Tiago de Lima 1 Valentin Montmirail 1
1 CRIL - Centre de Recherche en Informatique de Lens
Document type :
Conference papers
Complete list of metadatas
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

Identifiers

  • HAL Id : hal-02271412, version 1

Collections

UNIV-COTEDAZUR | CNRS | UNIV-ARTOIS

Citation

Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail. A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem. Twenty-Sixth International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia. pp.674-680. ⟨hal-02271412⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

48

Support

Université Nice Sophia Antipolis (UNS) Observatoire de la Côte d’Azur (OCA) Centre national de la recherche scientifique (CNRS) Institut national de la recherche en informatique et en automatique (Inria) SKEMA Business School EDHEC Business School  Centre Hospitalier Universitaire de Nice (CHU Nice) Centre National de Création Musicale (CIRM)  Ecole Nationale Supérieure d’Art Villa Arson Ecole Supérieure de Réalisation Audiovisuelle (ESRA) The Sustainable Design School (SDS) Ecole Supérieure de Danse de Cannes Rosella Hightower Conservatoire National à Rayonnement Régional de Nice (CNRR)