Real-world agents must react to changing conditions as they execute planned tasks. Conditions are typically monitored through time series representing state variables. While some predicates on these times series only consider one measure at a time, other predicates, sometimes called episodic predicates, consider sets of measures. We consider a special class of episodic predicates based on segmentation of the the measures into quasi-monotonic intervals where each interval is either quasi-increasing, quasi-decreasing, or quasi-flat. While being scale-based, this approach is also computational efficient and results can be computed exactly without need for approximation algorithms. Our approach is compared to linear spline and regression analys...
In most practical applications of reinforcement learning, it is untenable to maintain direct estimat...
International audienceThe notion of quasi-Fejér monotonicity has proven to be an efficient tool to s...
Abstract. We present a novel approach to the safety controller synthesis prob-lem with partial obser...
Real-world agents must react to changing conditions as they execute planned tasks. Conditions are ty...
Qualitative models are often more suitable than classical quantitative models in tasks such as Model...
Abstract. It is a crucial task to build qualitative models of industrial applications for model-base...
Monotonicity is a simple yet significant qualitative characteristic. We consider the problem of segm...
Abstract. It is a crucial task to build qualitative models of industrial applications for model-base...
In discrete-event system monitoring, the observation is fragmented over time and a set of candidate ...
The behavioural comparison of systems is an important concern of software engineering research. For ...
Cette thèse porte sur les méthodes d intervalles pour la résolution de systèmes de contraintes non l...
Monotonicity in Markov chains is the starting point for quantitative abstraction of complex probabil...
Segmentation of time-varying systems and signals into models whose parameters are piecewise constant...
In the first part of this thesis, we deal with the problem of learning the inhomogeneous intensity o...
Monotonic regression (MR) is an efficient tool for estimating functions that are monotonic with resp...
In most practical applications of reinforcement learning, it is untenable to maintain direct estimat...
International audienceThe notion of quasi-Fejér monotonicity has proven to be an efficient tool to s...
Abstract. We present a novel approach to the safety controller synthesis prob-lem with partial obser...
Real-world agents must react to changing conditions as they execute planned tasks. Conditions are ty...
Qualitative models are often more suitable than classical quantitative models in tasks such as Model...
Abstract. It is a crucial task to build qualitative models of industrial applications for model-base...
Monotonicity is a simple yet significant qualitative characteristic. We consider the problem of segm...
Abstract. It is a crucial task to build qualitative models of industrial applications for model-base...
In discrete-event system monitoring, the observation is fragmented over time and a set of candidate ...
The behavioural comparison of systems is an important concern of software engineering research. For ...
Cette thèse porte sur les méthodes d intervalles pour la résolution de systèmes de contraintes non l...
Monotonicity in Markov chains is the starting point for quantitative abstraction of complex probabil...
Segmentation of time-varying systems and signals into models whose parameters are piecewise constant...
In the first part of this thesis, we deal with the problem of learning the inhomogeneous intensity o...
Monotonic regression (MR) is an efficient tool for estimating functions that are monotonic with resp...
In most practical applications of reinforcement learning, it is untenable to maintain direct estimat...
International audienceThe notion of quasi-Fejér monotonicity has proven to be an efficient tool to s...
Abstract. We present a novel approach to the safety controller synthesis prob-lem with partial obser...