Solving Planning Problems Using Real-Time Model Checking: Translating PDDL3 into Timed Automata

Henning Dierks, Gerd Behrmann, Kim Guldstrand Larsen

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

Originalsprog	Engelsk
Titel	AIPS 2002 Workshop on Planning via Model Checking
Publikationsdato	2002
Status	Udgivet - 2002
Begivenhed	AIPS 2002 Workshop on Planning Via Model Checking - Toulouse, Frankrig Varighed: 23 apr. 2002 → 27 apr. 2002

Konference	AIPS 2002 Workshop on Planning Via Model Checking
Land/Område	Frankrig
By	Toulouse
Periode	23/04/2002 → 27/04/2002

AUB Link

@inproceedings{0aaec9909c2d11db8ed6000ea68e967b,

title = "Solving Planning Problems Using Real-Time Model Checking: Translating PDDL3 into Timed Automata",

author = "Henning Dierks and Gerd Behrmann and Larsen, {Kim Guldstrand}",

year = "2002",

language = "English",

booktitle = "AIPS 2002 Workshop on Planning via Model Checking",

note = "AIPS 2002 Workshop on Planning Via Model Checking ; Conference date: 23-04-2002 Through 27-04-2002",

}