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
Citationsformater
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver