Christopher Armbrust und Verification - Info zur Person

(1 - 9 von 9

)

Christopher Armbrust - The Mathematics Genealogy Project

www.genealogy.math.ndsu.nodak.edu

Dissertation: Design and Verification of Behaviour-Based Systems Realising Task Sequences. Mathematics Subject Classification: 68—Computer science.

Table of Contents: Advances in artificial intelligence :: Library...

library.villanova.edu

Format: Online Conference Proceeding Book ... Quantitative Aspects of Behaviour Network Verification /; Christopher Armbrust, Thorsten Ropertz, Lisa ... Pathfinding by Demand Sensitive Map Abstraction /; Sourodeep Bhattacharjee, Scott D.

FB-Informatik: Promotionen

www.informatik.uni-kl.de

Forschung Promotionen. FB-Informatik. Aktuelles; Studium; Forschung Christopher Armbrust: Design and Verification of Behaviour-Based Systems Realising Task …

Quantitative Aspects of Behaviour Network Verification | SpringerLink

link.springer.com

This paper presents quantitative aspects of an approach for the modelling and verification of behaviour networks published previously and describes the...

Verification of Behaviour Networks Using Finite-State Automata |...

link.springer.com

This paper addresses the problem of verifying properties of behaviour-based systems used for controlling robots. A behaviour-based system typically consists of...

ISBN

www.dr.hut-verlag.de

Christopher Armbrust: Design and Verification of Behaviour-Based Systems Realising Task Sequences

Canadian AI Conference - Program

www.canadianai.ca

William Lee and Ramon Lawrence Quantitative Aspects of Behaviour Network Verification. Christopher Armbrust, Thorsten Ropertz, Lisa Kiekbusch ...

Alle Infos zum Namen "Christopher Armbrust"

Verwandte Suchanfragen zu Christopher Armbrust

Steve Hargadon
Thorsten Ropertz
Lisa Kiekbusch

Klaus-Dieter Kuhnert
Stefanie Junt
Ingo Armbrust

Person "Armbrust" (3)
Vorname "Christopher" (23093)
Name "Armbrust" (487)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Christopher Armbrust und Verification Person-Info