Projekter pr. år
Abstract
Originalsprog | Engelsk |
---|---|
Titel | Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling |
Antal sider | 9 |
Forlag | AAAI Press Association for the Advancement of Artificial Intelligence |
Publikationsdato | 15 jun. 2022 |
Sider | 565-573 |
Status | Udgivet - 15 jun. 2022 |
Begivenhed | The 32nd International Conference on Automated Planning and Scheduling - Virtual, Singapore, Singapore Varighed: 13 jun. 2022 → 24 jun. 2022 |
Konference
Konference | The 32nd International Conference on Automated Planning and Scheduling |
---|---|
Lokation | Virtual |
Land/Område | Singapore |
By | Singapore |
Periode | 13/06/2022 → 24/06/2022 |
Navn | Proceedings International Conference on Automated Planning and Scheduling, ICAPS |
---|---|
ISSN | 2334-0835 |
Fingeraftryk
Dyk ned i forskningsemnerne om 'Distributed Fleet Management in Noisy Environments via Model-Predictive Control'. Sammen danner de et unikt fingeraftryk.-
S4OS: SCALABLE ANALYSIS OF SAFE, SMALL AND SECURE STRATEGIES FOR CYBER-PHYSICAL SYSTEMS
Larsen, K. G. (PI (principal investigator))
01/01/2021 → 31/12/2027
Projekter: Projekt › Forskning
-
Digital technologies for Industry 4.0
Berardinelli, G. (Projektkoordinator), Nyman, U. (Projektdeltager), Schjørring, A. (Projektdeltager), Schiøler, H. (Projektdeltager), Tan, Z.-H. (Projektdeltager), Popovski, P. (Projektdeltager), Kristjansen, M. (Projektdeltager), Klicius, N. (Projektdeltager), Xie, Y. (Projektdeltager), Chiariotti, F. (Projektdeltager) & Kalør, A. E. (Projektdeltager)
01/03/2019 → 28/02/2021
Projekter: Projekt › Forskning
-
Compositional Verification of Real-time MULTI-CORE SAFETY Critical Systems
Nyman, U. (PI (principal investigator)), Nielsen, B. (Andet), Thi Xuan Phan, L. (Projektdeltager), Lee, I. (Projektdeltager), Legay, A. B. E. (Projektdeltager), Boudjadar, J. (Kontaktperson) & Kim, J. H. (Kontaktperson)
Danmarks Frie Forskningsfond | Teknologi og Produktion
01/08/2017 → 31/07/2021
Projekter: Projekt › Andet