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

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

PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems

Autor: Peter G. Jensen, Stefan Schmid, Morten K. Schou, Jiří Srba

Publikováno v: Automated Technology for Verification and Analysis ISBN: 9783031199912

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::664ce5fa517a16fda12d512c6b57171a
https://doi.org/10.1007/978-3-031-19992-9_14

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

Methods for Efficient Unfolding of Colored Petri Nets.

Autor: Bilgram, Alexander¹ (AUTHOR) pgj@cs.aau.dk, Jensen, Peter G.¹ (AUTHOR), Pedersen, Thomas¹ (AUTHOR), Srba, Jiří¹ (AUTHOR), Taankvist, Peter H.¹ (AUTHOR)

Publikováno v: Fundamenta Informaticae. 2022, Vol. 189 Issue 3/4, p297-320. 24p.