S6.3 (2021): First Lecture and UPPAAL

No courses to show.

Try logging in

Welcome to the PhD programmes at AAU

If you are from outside Aalborg University and you wish to enroll in one of our PhD courses, you must create a profile. This is done by clicking on “create new account” and filling out the form.
Please observe that it is impossible to register for PhD courses until 4 months before the course commences.
If you are from the industry, the fee for participating in the courses on Eng/Tech/Sund is DKK 2,000.00 per ECTS.

First Lecture and UPPAAL

by Kim Guldstrand Larsen - Wednesday, 28 April 2021, 2:29 PM

Dear all

Looking forward to seeing you tomorrow afternoon for the first lecture in the PhD Course
"Automated Planning Tools for Intelligent Decision Making". In the two first lectures we will focus on how to use the modeling formalism and model checking engine of the UPPAAL tool suite for optimal (static or dynamic) planning in settings where timing constraints are essential.

Before tomorrow I will ask you all to have downloaded the current development version 4.1.24 of UPPAAL. You can find the download page at

www.uppaal.org

See you tomorrow
Kim