EasyChair Smart SlideDocs/Log in
Conference: VaVAS-2018 (International Workshop on the Verification and Validation of Autonomous Systems)

This page shows all presentations from this conference 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

Policy Generation with Probabilistic Guarantees for Long-term Autonomy of a Mobile Service Robot

Policy Generation with Probabilistic Guarantees for Long-term Autonomy of a Mobile Service Robot

Bruno Lacerda, David Parker and Nick Hawes

Towards a Hierarchical-Control Architecture for Distributed Autonomous Systems (Extended Abstract - Paper)

Towards a Hierarchical-Control Architecture for Distributed Autonomous Systems (Extended Abstract - Paper)

Radu Calinescu and Saud Yonbawi

Social Consequence Engines (Abstract)

Social Consequence Engines (Abstract)

Julian Padget, Marina De Vos and Charlie Ann Page

Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent

Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent

Gleifer Alves, Louise Dennis and Michael Fisher

RoboTool: Modelling and Verification with RoboChart

RoboTool: Modelling and Verification with RoboChart

Alvaro Miyazawa, Ana Cavalcanti, Simon Foster, Wei Li, Pedro Ribeiro, Jon Timmis and Jim Woodcock

Adaptive Neighborhood Resizing for Stochastic Reachability in Distributed Flocking

Adaptive Neighborhood Resizing for Stochastic Reachability in Distributed Flocking

Anna Lukina, Ashish Tiwari, Scott Smolka and Radu Grosu

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