Showing 1–5 of 5 results for author: Schaper, M

Age-Appropriate Robot Design: In-The-Wild Child-Robot Interaction Studies of Perseverance Styles and Robot's Unexpected Behavior

Authors: Alicja Wróbel, Karolina Źróbek, Marie-Monique Schaper, Paulina Zguda, Bipin Indurkhya

Abstract: As child-robot interactions become more and more common in daily life environment, it is important to examine how robot's errors influence children's behavior. We explored how a robot's unexpected behaviors affect child-robot interactions during two workshops on active reading: one in a modern art museum and one in a school. We observed the behavior and attitudes of 42 children from three age grou… ▽ More As child-robot interactions become more and more common in daily life environment, it is important to examine how robot's errors influence children's behavior. We explored how a robot's unexpected behaviors affect child-robot interactions during two workshops on active reading: one in a modern art museum and one in a school. We observed the behavior and attitudes of 42 children from three age groups: 6-7 years, 8-10 years, and 10-12 years. Through our observations, we identified six different types of surprising robot behaviors: personality, movement malfunctions, inconsistent behavior, mispronunciation, delays, and freezing. Using a qualitative analysis, we examined how children responded to each type of behavior, and we observed similarities and differences between the age groups. Based on our findings, we propose guidelines for designing age-appropriate learning interactions with social robots. △ Less

Submitted 19 October, 2023; originally announced October 2023.

Comments: 8 pages

ACM Class: I.2.9

Journal ref: Proceedings of Ro-MAN 2023, Busan, South Korea, Aug 28-31, 2023

Automated Expected Value Analysis of Recursive Programs

Authors: Martin Avanzini, Georg Moser, Michael Schaper

Abstract: In this work, we study the fully automated inference of expected result values of probabilistic programs in the presence of natural programming constructs such as procedures, local variables and recursion. While crucial, capturing these constructs becomes highly non-trivial. The key contribution is the definition of a term representation, denoted as infer[.], translating a pre-expectation semantic… ▽ More In this work, we study the fully automated inference of expected result values of probabilistic programs in the presence of natural programming constructs such as procedures, local variables and recursion. While crucial, capturing these constructs becomes highly non-trivial. The key contribution is the definition of a term representation, denoted as infer[.], translating a pre-expectation semantics into first-order constraints, susceptible to automation via standard methods. A crucial step is the use of logical variables, inspired by previous work on Hoare logics for recursive programs. Noteworthy, our methodology is not restricted to tail-recursion, which could unarguably be replaced by iteration and wouldn't need additional insights. We have implemented this analysis in our prototype ev-imp. We provide ample experimental evidence of the prototype's algorithmic expressibility. △ Less

Submitted 24 April, 2023; v1 submitted 3 April, 2023; originally announced April 2023.

Comments: Accepted at PLDI'23

Modular Runtime Complexity Analysis of Probabilistic While Programs

Authors: Martin Avanzini, Michael Schaper, Georg Moser

Abstract: We are concerned with the average case runtime complexity analysis of a prototypical imperative language endowed with primitives for sampling and probabilistic choice. Taking inspiration from known approaches from to the modular resource analysis of non-probabilistic programs, we investigate how a modular runtime analysis is obtained for probabilistic programs. We are concerned with the average case runtime complexity analysis of a prototypical imperative language endowed with primitives for sampling and probabilistic choice. Taking inspiration from known approaches from to the modular resource analysis of non-probabilistic programs, we investigate how a modular runtime analysis is obtained for probabilistic programs. △ Less

Submitted 23 August, 2019; originally announced August 2019.

GUBS Upper Bound Solver (Extended Abstract)

Authors: Martin Avanzini, Michael Schaper

Abstract: In this extended abstract we present the GUBS Upper Bound Solver. GUBS is a dedicated constraint solver over the naturals for inequalities formed over uninterpreted function symbols and standard arithmetic operations. GUBS now forms the backbone of HoSA, a tool for analysing space and time complexity of higher-order functional programs automatically. We give insights about the implemen- tation and… ▽ More In this extended abstract we present the GUBS Upper Bound Solver. GUBS is a dedicated constraint solver over the naturals for inequalities formed over uninterpreted function symbols and standard arithmetic operations. GUBS now forms the backbone of HoSA, a tool for analysing space and time complexity of higher-order functional programs automatically. We give insights about the implemen- tation and report different case studies. △ Less

Submitted 18 April, 2017; originally announced April 2017.

Comments: In Proceedings DICE-FOPARA 2017, arXiv:1704.05169

ACM Class: D.2.4; F.4.0

Journal ref: EPTCS 248, 2017, pp. 17-23

A Complexity Preserving Transformation from **ja Bytecode to Rewrite Systems

Authors: Georg Moser, Michael Schaper

Abstract: We revisit known transformations from **ja bytecode to rewrite systems from the viewpoint of runtime complexity. Suitably generalising the constructions proposed in the literature, we define an alternative representation of **ja bytecode (JBC) executions as "computation graphs" from which we obtain a novel representation of JBC executions as "constrained rewrite systems". We prove non-terminatio… ▽ More We revisit known transformations from **ja bytecode to rewrite systems from the viewpoint of runtime complexity. Suitably generalising the constructions proposed in the literature, we define an alternative representation of **ja bytecode (JBC) executions as "computation graphs" from which we obtain a novel representation of JBC executions as "constrained rewrite systems". We prove non-termination and complexity preservation of the transformation. We restrict to well-formed JBC programs that only make use of non-recursive methods and expect tree-shaped objects as input. Our approach allows for simplified correctness proofs and provides a framework for the combination of the computation graph method with standard techniques from static program analysis like for example "reachability analysis". △ Less

Submitted 6 May, 2014; v1 submitted 6 April, 2012; originally announced April 2012.

Comments: 36 pages

ACM Class: F.3.2; F.4.1; F.4.2