Strategy Repair in Reachability Games

Lecomte, Nicolas

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

Lecomte, Nicolas

2023

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

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

reading_group_19_11_23.pdf

Author postprint (2.75 MB)

Download

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; two-player game; strategy repair

Research center :

CREMMI - Modélisation mathématique et informatique

Disciplines :

Mathematics
Computer science

Author, co-author :

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

Language :

English

Title :

Strategy Repair in Reachability Games

Publication date :

20 November 2023

Number of pages :

Event name :

Paper presented at UMONS Formal Methods Reading Group

Event organizer :

Mickael Randour

Event place :

Mons, Belgium

Event date :

20th November 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

Available on ORBi UMONS :

since 11 January 2024

Statistics

Number of views

18 (1 by UMONS)

Number of downloads

19 (0 by UMONS)

More statistics