48 citations · 241 across the 30 of their papers we have counts for
5 papers · 1 filter
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…
Language Preservation Problems in Parametric Timed Automata
Étienne André, Didier Lime, Nicolas Markey
Parametric timed automata (PTA) are a powerful formalism to model and reason about concurrent systems with some unknown timing delays. In this paper, we address the (untimed) langu…
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…
Control strategies for off-line testing of timed systems
Léo Henry, Thierry Jéron, Nicolas Markey
Partial observability and controllability are two well-known issues in test-case synthesis for interactive systems. We address the problem of partial control in the synthesis of te…
Parameterized verification of synchronization in constrained reconfigurable broadcast networks
A. R. Balasubramanian, Nathalie Bertrand, Nicolas Markey
Reconfigurable broadcast networks provide a convenient formalism for modelling and reasoning about networks of mobile agents broadcasting messages to other agents following some (e…