Guiding and Cost-Optimality in Uppaal

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

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

Originalsprog	Engelsk
Titel	AAAI Spring Symposium Model-Based Validation of Intelligence
Publikationsdato	2001
Status	Udgivet - 2001
Begivenhed	AAAI Spring Symposium Model-Based Validation of Intelligence - Varighed: 19 maj 2010 → …

Konference	AAAI Spring Symposium Model-Based Validation of Intelligence
Periode	19/05/2010 → …

AUB Link

@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 = "AAAI Spring Symposium Model-Based Validation of Intelligence ; Conference date: 19-05-2010",

}

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

T2 - AAAI Spring Symposium Model-Based Validation of Intelligence

Y2 - 19 May 2010

ER -