Výsledky vyhledávání

Report

Markov Decision Processes with Sure Parity and Multiple Reachability Objectives

Autor: Berthon, Raphaël, Katoen, Joost-Pieter, Winkler, Tobias

This paper considers the problem of finding strategies that satisfy a mixture of sure and threshold objectives in Markov decision processes. We focus on a single $\omega$-regular objective expressed as parity that must be surely met while satisfying

Externí odkaz: http://arxiv.org/abs/2408.01212

Zobrazit plný text záznamu

Report

An entropy-stable and fully well-balanced scheme for the Euler equations with gravity

Autor: Berthon, Christophe, Michel-Dansac, Victor, Thomann, Andrea

The present work concerns the derivation of a numerical scheme to approximate weak solutions of the Euler equations with a gravitational source term. The designed scheme is proved to be fully well-balanced since it is able to exactly preserve all mov

Externí odkaz: http://arxiv.org/abs/2406.15051

Zobrazit plný text záznamu

Report

Natural Strategic Ability in Stochastic Multi-Agent Systems

Autor: Berthon, Raphaël, Katoen, Joost-Pieter, Mittelmann, Munyque, Murano, Aniello

Strategies synthesized using formal methods can be complex and often require infinite memory, which does not correspond to the expected behavior when trying to model Multi-Agent Systems (MAS). To capture such behaviors, natural strategies are a recen

Externí odkaz: http://arxiv.org/abs/2401.12170

Zobrazit plný text záznamu

Akademický článek

Using neural biomarkers to personalize dosing of vagus nerve stimulation

Publikováno v: Bioelectronic Medicine, Vol 10, Iss 1, Pp 1-24 (2024)

Abstract Background Vagus nerve stimulation (VNS) is an established therapy for treating a variety of chronic diseases, such as epilepsy, depression, obesity, and for stroke rehabilitation. However, lack of precision and side-effects have hindered it

Externí odkaz: https://doaj.org/article/048abef0382547d09e63160b87fc290a