Büchi Objectives in Countable MDPs - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019
Fichier non déposé

Dates et versions

hal-02411532 , version 1 (14-12-2019)

Identifiants

Citer

Mahsa Shirmohammadi, Stefan Kiefer, Richard Mayr, Patrick Totzke. Büchi Objectives in Countable MDPs. 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, July 9-12, 2019, Patras, Greece, Jul 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.119⟩. ⟨hal-02411532⟩
13 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More