EasyChair Smart SlideDocs/Log in
Author: Alice Miller

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

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: 1
Copyright © 2002 – 2024 EasyChair