Multi-Reachability Objectives in MDPs: A Game-Based Abstraction Approach

Capon, Chloé; Lecomte, Nicolas

Scientific conference in universities or research centers (Scientific conferences in universities or research centers)

Capon, Chloé; Lecomte, Nicolas

2023

Permalink
https://hdl.handle.net/20.500.12907/47143

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

ReadingGroupGBA.pdf

Author postprint (1.46 MB)

Request a copy

All documents in ORBi UMONS are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Keywords :

formal methods; games on graphs; markov decision processes; multi-reachability

Research center :

CREMMI - Modélisation mathématique et informatique

Disciplines :

Mathematics

Author, co-author :

Capon, Chloé ; Université de Mons - UMONS > Faculté des Science > Service de Mathématiques effectives

Lecomte, Nicolas ; Université de Mons - UMONS > Faculté des Science > Service d'Analyse numérique

Language :

English

Title :

Multi-Reachability Objectives in MDPs: A Game-Based Abstraction Approach

Publication date :

27 February 2023

Event name :

UMONS Formal Methods Reading Group

Event organizer :

Mickaël Randour

Event place :

Mons, Belgium

Event date :

27 février 2023

Research unit :

S820 - Mathématiques effectives

Research institute :

R150 - Institut de Recherche sur les Systèmes Complexes

Name of the research project :

5727 - PDR-Randour - ControlleRS

Funders :

F.R.S.-FNRS - Fonds de la Recherche Scientifique

Commentary :

Talk based on joint work with Mickaël Randour (UMONS) and Petr Novotny (Masaryk University)

Available on ORBi UMONS :

since 19 December 2023

Statistics

Number of views

17 (1 by UMONS)

Number of downloads

0 (0 by UMONS)

More statistics