Retour
  1. Accueil
  3. Référence détaillée
Télécharger
Article (Périodiques scientifiques)
Timed ATL: Forget Memory, Just Count
Knapik, Michal; André, Étienne; Petrucci, Laure et al.
2019 • In Journal of Artificial Intelligence Research, 66, p. 197--223
Peer reviewed
Permalien
https://hdl.handle.net/10993/41794
DOI
10.1613/jair.1.11612
 

Documents (1)Envoyer versDétailsStatistiquesBibliographiePublications similaires

Documents

Texte intégral
CountingATL19jair[1].pdf
Postprint Éditeur (444.81 kB)
Télécharger

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers


Détails


Disciplines :
Sciences informatiques
Auteur, co-auteur :
Knapik, Michal
André, Étienne
Petrucci, Laure
JAMROGA, Wojciech ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Penczek, Wojciech
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Timed ATL: Forget Memory, Just Count
Date de publication/diffusion :
2019
Titre du périodique :
Journal of Artificial Intelligence Research
Volume/Tome :
66
Pagination :
197--223
Peer reviewed :
Peer reviewed
Disponible sur ORBilu :
depuis le 21 janvier 2020

Statistiques

Nombre de vues
93 (dont 0 Unilu)
Nombre de téléchargements
72 (dont 1 Unilu)
Voir plus de statistiques
citations Scopus®
 
9
citations Scopus®
sans auto-citations
4
OpenCitations
 
1
citations OpenAlex
 
7
citations WoS™
 
4

Bibliographie

Publications similaires


Contacter ORBilu