Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Jean-François Raskin

◀ ▶ joint publications with Damien Busatto-Gaston

> Home > Persons > Jean-François Raskin

Publications

2023
[c139]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/0002BR023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/0002BR023
Debraj Chakraborty, Damien Busatto-Gaston, Jean-François Raskin, Guillermo A. Pérez:
Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods. AAMAS 2023: 1354-1362
[c138]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BusattoGastonCMMPR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BusattoGastonCMMPR23
Damien Busatto-Gaston, Debraj Chakraborty, Anirban Majumdar, Sayan Mukherjee, Guillermo A. Pérez, Jean-François Raskin:
Bi-objective Lexicographic Optimization in Markov Decision Processes with Related Objectives. ATVA (1) 2023: 203-223
[i74]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-09634
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-09634
Damien Busatto-Gaston, Debraj Chakraborty, Anirban Majumdar, Sayan Mukherjee, Guillermo A. Pérez, Jean-François Raskin:
Bi-Objective Lexicographic Optimization in Markov Decision Processes with Related Objectives. CoRR abs/2305.09634 (2023)
[i73]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-07738
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-07738
Debraj Chakraborty, Damien Busatto-Gaston, Jean-François Raskin, Guillermo A. Pérez:
Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods. CoRR abs/2308.07738 (2023)
2022
[c133]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/icalp/BordaisBGR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/BordaisBGR22
Benjamin Bordais, Damien Busatto-Gaston, Shibashis Guha, Jean-François Raskin:
Strategy Synthesis for Global Window PCTL. ICALP 2022: 115:1-115:20
[i68]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-14107
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-14107
Benjamin Bordais, Damien Busatto-Gaston, Shibashis Guha, Jean-François Raskin:
Strategy Synthesis for Global Window PCTL. CoRR abs/2204.14107 (2022)
2021
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/Busatto-GastonC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/Busatto-GastonC21
Damien Busatto-Gaston, Debraj Chakraborty, Shibashis Guha, Guillermo A. Pérez, Jean-François Raskin:
Safe Learning for Near-Optimal Scheduling. QEST 2021: 235-254
2020
[c124]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/Busatto-Gaston020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Busatto-Gaston020
Damien Busatto-Gaston, Debraj Chakraborty, Jean-François Raskin:
Monte Carlo Tree Search Guided by Symbolic Advice for MDPs. CONCUR 2020: 40:1-40:24
[i57]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-04712
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-04712
Damien Busatto-Gaston, Debraj Chakraborty, Gilles Geeraerts, Jean-François Raskin:
Monte Carlo Tree Search guided by Symbolic Advice for MDPs. CoRR abs/2006.04712 (2020)

a service of

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.