Generation of Counterexamples for Synthesis in Markov Decision Processes

Unpublished conference/Abstract (Scientific congresses and symposiums)

Capon, Chloé

2024 • MOVEP'24

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

Capon_movep24.pdf

Author postprint (417.23 kB)

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

Keywords :

Formal methods; reactive synthesis; game theory; stochastic models

Disciplines :

Mathematics
Computer science

Author, co-author :

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

Language :

English

Title :

Generation of Counterexamples for Synthesis in Markov Decision Processes

Publication date :

30 May 2024

Event name :

MOVEP'24

Event place :

Rennes, France

Event date :

26 to 31 May, 2024

Audience :

International

Research unit :

S820 - Mathématiques effectives

Research institute :

R150 - Institut de Recherche sur les Systèmes Complexes

Available on ORBi UMONS :

since 18 December 2024

Number of views

19 (4 by UMONS)

Number of downloads

1 (1 by UMONS)