Alert button
Picture for Jean-François Raskin

Jean-François Raskin

Alert button

Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods

Add code
Bookmark button
Alert button
Aug 15, 2023
Debraj Chakraborty, Damien Busatto-Gaston, Jean-François Raskin, Guillermo A. Pérez

Figure 1 for Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods
Figure 2 for Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods
Figure 3 for Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods
Figure 4 for Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods
Viaarxiv icon

Learning Probabilistic Temporal Safety Properties from Examples in Relational Domains

Add code
Bookmark button
Alert button
Nov 07, 2022
Gavin Rens, Wen-Chi Yang, Jean-François Raskin, Luc De Raedt

Figure 1 for Learning Probabilistic Temporal Safety Properties from Examples in Relational Domains
Figure 2 for Learning Probabilistic Temporal Safety Properties from Examples in Relational Domains
Figure 3 for Learning Probabilistic Temporal Safety Properties from Examples in Relational Domains
Figure 4 for Learning Probabilistic Temporal Safety Properties from Examples in Relational Domains
Viaarxiv icon

Lifted Model Checking for Relational MDPs

Add code
Bookmark button
Alert button
Jun 22, 2021
Wen-Chi Yang, Jean-François Raskin, Luc De Raedt

Figure 1 for Lifted Model Checking for Relational MDPs
Figure 2 for Lifted Model Checking for Relational MDPs
Figure 3 for Lifted Model Checking for Relational MDPs
Figure 4 for Lifted Model Checking for Relational MDPs
Viaarxiv icon

Active Learning of Sequential Transducers with Side Information about the Domain

Add code
Bookmark button
Alert button
Apr 23, 2021
Raphaël Berthon, Adrien Boiret, Guillermo A. Perez, Jean-François Raskin

Figure 1 for Active Learning of Sequential Transducers with Side Information about the Domain
Viaarxiv icon

Online Learning of Non-Markovian Reward Models

Add code
Bookmark button
Alert button
Sep 30, 2020
Gavin Rens, Jean-François Raskin, Raphaël Reynouad, Giuseppe Marra

Figure 1 for Online Learning of Non-Markovian Reward Models
Figure 2 for Online Learning of Non-Markovian Reward Models
Figure 3 for Online Learning of Non-Markovian Reward Models
Figure 4 for Online Learning of Non-Markovian Reward Models
Viaarxiv icon

Safe Learning for Near Optimal Scheduling

Add code
Bookmark button
Alert button
May 19, 2020
Gilles Geeraerts, Shibashis Guha, Guillermo A. Pérez, Jean-François Raskin

Figure 1 for Safe Learning for Near Optimal Scheduling
Figure 2 for Safe Learning for Near Optimal Scheduling
Figure 3 for Safe Learning for Near Optimal Scheduling
Figure 4 for Safe Learning for Near Optimal Scheduling
Viaarxiv icon

Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes

Add code
Bookmark button
Alert button
Apr 28, 2020
Raphaël Berthon, Shibashis Guha, Jean-François Raskin

Figure 1 for Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes
Figure 2 for Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes
Figure 3 for Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes
Figure 4 for Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes
Viaarxiv icon

Learning Non-Markovian Reward Models in MDPs

Add code
Bookmark button
Alert button
Jan 25, 2020
Gavin Rens, Jean-François Raskin

Figure 1 for Learning Non-Markovian Reward Models in MDPs
Figure 2 for Learning Non-Markovian Reward Models in MDPs
Figure 3 for Learning Non-Markovian Reward Models in MDPs
Figure 4 for Learning Non-Markovian Reward Models in MDPs
Viaarxiv icon

Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints

Add code
Bookmark button
Alert button
Aug 23, 2018
Jan Křetínský, Guillermo A. Pérez, Jean-François Raskin

Figure 1 for Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints
Figure 2 for Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints
Viaarxiv icon

Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes

Add code
Bookmark button
Alert button
Apr 27, 2017
Raphaël Berthon, Mickael Randour, Jean-François Raskin

Figure 1 for Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes
Figure 2 for Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes
Figure 3 for Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes
Figure 4 for Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes
Viaarxiv icon