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

Henning Dierks, Gerd Behrmann, Kim Guldstrand Larsen

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

Original language	English
Title of host publication	AIPS 2002 Workshop on Planning via Model Checking
Publication date	2002
Publication status	Published - 2002
Event	AIPS 2002 Workshop on Planning Via Model Checking - Toulouse, France Duration: 23 Apr 2002 → 27 Apr 2002

Conference	AIPS 2002 Workshop on Planning Via Model Checking
Country/Territory	France
City	Toulouse
Period	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",

}