Relational Agents (RAs) are virtual anthropomorphic characters able to engage in multimodal (i.e. using both verbal and nonverbal behavior) face-toface interactions with users in real-time. RAs are also capable of establishing and maintaining a long-term ...

This dissertation is composed of two parts. In the first part, performance evaluation and verification of safety properties are provided for real-time actors. Recently, the actor-based language, Timed Rebeca, was introduced to model distributed and ...

In the epilepsy monitoring unit of the Department of Neurology at the University Clinic of Salzburg 20 adult patients were recruited to participate in a validation of 6 parallel versions of the virtual reality test for episodic memory. Patients were ...