EasyChair Smart SlideDocs/Log in
Author: Ruth Hoffmann

This page shows all presentations of this author published in EasyChair Smart Slide.

Understanding How People Approach Constraint Modelling and Solving

Understanding How People Approach Constraint Modelling and Solving

Ruth Hoffmann, Xu Zhu, Özgür Akgün and Miguel Nacenta

Constraint Modelling and Solving: Learning from Observing People

Constraint Modelling and Solving: Learning from Observing People

Ruth Hoffmann

Probabilistic Model Checking for Autonomous Agent Strategy Synthesis - Extended Abstract

Probabilistic Model Checking for Autonomous Agent Strategy Synthesis - Extended Abstract

Ruben Giaquinta, Ruth Hoffmann, Murray Ireland, Alice Miller and Gethin Norman

Presentations in this collection: 3
Copyright © 2002 – 2024 EasyChair