52 citations · 269 across the 38 of their papers we have counts for
3 papers · 1 filter
Identifiers in Registers - Describing Network Algorithms with Logic
Benedikt Bollig, Patricia Bouyer, Fabian Reiter
We propose a formal model of distributed computing based on register automata that captures a broad class of synchronous network algorithms. The local memory of each process is rep…
Multi-weighted Markov Decision Processes with Reachability Objectives
Patricia Bouyer, Mauricio González, Nicolas Markey +1
In this paper, we are interested in the synthesis of schedulers in double-weighted Markov decision processes, which satisfy both a percentile constraint over a weighted reachabilit…
Optimal and Robust Controller Synthesis: using Energy Timed Automata with Uncertainty
Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg +3
In this paper, we propose a novel framework for the synthesis of robust and optimal energy-aware controllers. The framework is based on energy timed automata, allowing for easy exp…