Jean-François Raskin

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Jan Kretínský

> Home > Persons > Jean-François Raskin

Publications

2022
[j52]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/EsparzaKRS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/EsparzaKRS22
Javier Esparza, Jan Kretínský, Jean-François Raskin, Salomon Sickert:
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata. Int. J. Softw. Tools Technol. Transf. 24(4): 635-659 (2022)
2018
[c116]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/KretinskyPR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/KretinskyPR18
Jan Kretínský, Guillermo A. Pérez, Jean-François Raskin:
Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints. CONCUR 2018: 8:1-8:18
[i50]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1804-08924
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-08924
Jan Kretínský, Guillermo A. Pérez, Jean-François Raskin:
Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints. CoRR abs/1804.08924 (2018)
2017
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/EsparzaKRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/EsparzaKRS17
Javier Esparza, Jan Kretínský, Jean-François Raskin, Salomon Sickert:
From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata. TACAS (1) 2017: 426-442
[i44]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/EsparzaKRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/EsparzaKRS17
Javier Esparza, Jan Kretínský, Jean-François Raskin, Salomon Sickert:
From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata. CoRR abs/1701.06103 (2017)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.