Guiding and Cost-Optimality in Uppaal

Gerd Behrmann, Ansgar Fehnker, Thomas S. Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

90 Citationer (Scopus)
OriginalsprogEngelsk
TitelAAAI Spring Symposium Model-Based Validation of Intelligence
Udgivelsesdato2001
PublikationsstatusUdgivet - 2001
BegivenhederAAAI Spring Symposium Model-Based Validation of Intelligence -
Varighed: 19 maj 2010 → …

Konference

KonferenceAAAI Spring Symposium Model-Based Validation of Intelligence
Periode19/05/2010 → …

Citer dette

Behrmann, G., Fehnker, A., Hune, T. S., Larsen, K. G., Pettersson, P., & Romijn, J. (2001). Guiding and Cost-Optimality in Uppaal. i AAAI Spring Symposium Model-Based Validation of Intelligence
Behrmann, Gerd ; Fehnker, Ansgar ; Hune, Thomas S. ; Larsen, Kim Guldstrand ; Pettersson, Paul ; Romijn, Judi. / Guiding and Cost-Optimality in Uppaal. AAAI Spring Symposium Model-Based Validation of Intelligence. 2001.
@inproceedings{0ac314e09c2d11db8ed6000ea68e967b,
title = "Guiding and Cost-Optimality in Uppaal",
author = "Gerd Behrmann and Ansgar Fehnker and Hune, {Thomas S.} and Larsen, {Kim Guldstrand} and Paul Pettersson and Judi Romijn",
year = "2001",
language = "English",
booktitle = "AAAI Spring Symposium Model-Based Validation of Intelligence",
note = "null ; Conference date: 19-05-2010",

}

Behrmann, G, Fehnker, A, Hune, TS, Larsen, KG, Pettersson, P & Romijn, J 2001, Guiding and Cost-Optimality in Uppaal. i AAAI Spring Symposium Model-Based Validation of Intelligence. AAAI Spring Symposium Model-Based Validation of Intelligence, 19/05/2010.

Guiding and Cost-Optimality in Uppaal. / Behrmann, Gerd; Fehnker, Ansgar; Hune, Thomas S.; Larsen, Kim Guldstrand; Pettersson, Paul; Romijn, Judi.

AAAI Spring Symposium Model-Based Validation of Intelligence. 2001.

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

TY - GEN

T1 - Guiding and Cost-Optimality in Uppaal

AU - Behrmann, Gerd

AU - Fehnker, Ansgar

AU - Hune, Thomas S.

AU - Larsen, Kim Guldstrand

AU - Pettersson, Paul

AU - Romijn, Judi

PY - 2001

Y1 - 2001

M3 - Article in proceeding

BT - AAAI Spring Symposium Model-Based Validation of Intelligence

Y2 - 19 May 2010

ER -

Behrmann G, Fehnker A, Hune TS, Larsen KG, Pettersson P, Romijn J. Guiding and Cost-Optimality in Uppaal. i AAAI Spring Symposium Model-Based Validation of Intelligence. 2001