• No results found

“The Fridge Door is Open”–Temporal Verification of a Robotic Assistant’s Behaviours

N/A
N/A
Protected

Academic year: 2019

Share "“The Fridge Door is Open”–Temporal Verification of a Robotic Assistant’s Behaviours"

Copied!
12
0
0

Loading.... (view fulltext now)

Full text

Loading

Figure

Table 1. Priority Table for Behaviours
Fig. 2. Schema showing changes to variables for S1-alertFridgeDoor behaviour
Fig. 4. Model-checking Results

References

Related documents

This study examined a sample of former Indiana inmates with substance abuse problems who were engaged ATR, a community-based treatment program that offers ancillary wraparound

De Gemeente vordert in dit kort geding dat appellant wordt verboden om zich per kalendermaand gedurende een aaneengesloten periode van vijf jaar, meer dan twee keer met brieven,

(2004) Mutuality and reciprocity: Psychological contracts in research teams. The norm of reciprocity. The public sector and the psychological contract. IPD

This paper is devoted for comparing the effect of temperature change on the attenuation coefficient of optical fiber when two laser types [He-Ne and solid state laser]

At the risk of over-simplifying, inflation targeting central banks in the industrial world are by far the most reluctant to wield this instrument while monetary authorities in

ii. InterContinental Hotels & Resorts in Portugal ... InterContinental Lisbon ... Addressing the Work Project Questions ... Marketing Research and Methodology ... Main

In this paper, we review some of the main properties of evenly convex sets and evenly quasiconvex functions, provide further characterizations of evenly convex sets, and present

• The latest approach to benchmarking • Continuous monitoring of specific process performance with a select group of benchmarking partners time 1st Benchmarking project