Zobrazeno 1 - 7 of 7 pro vyhledávání: '"Peter G. Jensen"'
1
An investigation of safe and near-optimal strategies for prevention of Covid-19 exposure using stochastic hybrid models and machine learning
Autor: Alexander Bilgram, Peter G. Jensen, Kenneth Y. Jørgensen, Kim G. Larsen, Marius Mikučionis, Marco Muñiz, Danny B. Poulsen, Peter Taankvist
Publikováno v: Bilgram, A, Jensen, P G, Jørgensen, K Y, Larsen, K G, Mikučionis, M, Muñiz, M, Poulsen, D B & Taankvist, P 2022, ' An investigation of safe and near-optimal strategies for prevention of Covid-19 exposure using stochastic hybrid models and machine learning ', Decision Analytics Journal, vol. 5, 100141 . https://doi.org/10.1016/j.dajour.2022.100141
In this work investigate the use of stochastic hybrid models, statistical model checking and machine learning to analyze, predict and control the rapid spreading of Covid-19. During the pandemic numerous studies using stochastic models have been prod
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8fe6537b98dc458f61b2232124ad0e37
https://vbn.aau.dk/da/publications/7dcd0cec-0bb6-46b5-8ae8-e0401f82d40e
Zobrazit plný text záznamu
2
Verifiable strategy synthesis for multiple autonomous agents:a scalable approach
Autor: Rong Gu, Peter G. Jensen, Danny B. Poulsen, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist
Publikováno v: Gu, R, Jensen, P G, Poulsen, D B, Seceleanu, C, Enoiu, E & Lundqvist, K 2022, ' Verifiable strategy synthesis for multiple autonomous agents : a scalable approach ', International Journal on Software Tools for Technology Transfer, vol. 24, no. 3, pp. 395-414 . https://doi.org/10.1007/s10009-022-00657-z
Path planning and task scheduling are two challenging problems in the design of multiple autonomous agents. Both problems can be solved by the use of exhaustive search techniques such as model checking and algorithmic game theory. However, model chec
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c3e1ba1081951fcae1309c2b04dca503
https://vbn.aau.dk/ws/files/511976034/Open_Access_article.pdf
Zobrazit plný text záznamu
3
PlayingWORDLE with UPPAAL STRATEGO
Autor: Peter G. Jensen, Kim G. Larsen, Marius Mikučionis
Publikováno v: Jensen, P G, Larsen, K G & Mikučionis, M 2022, PlayingWORDLE with UPPAAL STRATEGO . in N Jansen, M Stoelinga & P van den Bos (eds), A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday . Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13560 LNCS, pp. 283-305 . https://doi.org/10.1007/978-3-031-15629-8_15
Lecture Notes in Computer Science ISBN: 9783031156281
In this paper we model and solve the popular game Wordle using Uppaal Stratego. We model three different game-modes in terms of POMDPs, with more than 12,000 controllable actions. These constitute by far the largest models ever presented to Uppaal St
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4d0976501affc874ffdec35def8503bf
https://vbn.aau.dk/da/publications/d75f2c72-56db-4cad-9ebd-a83b6bed86c6
Zobrazit plný text záznamu
7
SPATIAL PLANNING FOR INTEGRATED WATERSHED MANAGEMENT
Autor: W. Wirojanagud, A. Nantaphotidech, Peter G. Jensen
Publikováno v: Journal of Water and Environment Technology. 3:253-261
Spatial planning is a valuable tool to support sustainable development by basing the plans, measures and interventions on key sustainability principles. The development of a spatial plan runs through three main processes; baseline data analysis of th
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::054531b38d8e8bac22240286b38300ec
https://doi.org/10.2965/jwet.2005.253
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje