Our group is interested in using haptic display for training tool use. Applications include
training doctors to use tools during surgery, and training astronauts to use tools during EVA …

We present a distance-agnostic approach to quantitative verification. Taking as input an
unspecified distance on system traces, or executions, we develop a game-based framework …

Abstract Automata theory based on complete residuated lattice-valued logic has been
initiated by Qiu, and further systematically established by Qiu et al. In this paper, we propose …

During the last decades, a large amount of multi-valued transition systems, whose
transitions or states are labeled with specific weights, have been proposed to analyze …

Quantitative (bi) simulations taking values from non-negative real numbers enjoy numerous
applications in the analysis of labeled transition systems, whose transitions, states, or labels …

Simulation distances are essentially approximations of simulation which provide a measure
of the extent by which behaviors in systems are inequivalent. In this paper, we consider the …

In systems involving quantitative data, such as probabilistic, fuzzy, or metric systems,
behavioural distances provide a more fine-grained comparison of states than twovalued …

To measure the similarity of nodes in the neighboring subgraphs, Milner introduced the
notion of k-limited bisimilarity. Recently, as a weaker version of k-limited bisimilarity, the …

The servitisation of business is moving industry to business models driven by customer
demand. Customer satisfaction is connected with financial rewards, forcing companies to …

Robustness in Real-time Systems Page 1 Robustness in Real-time Systems Nicolas Markey
LSV – CNRS & ENS Cachan, France nicolas.markey@lsv.ens-cachan.fr Abstract We review …