Zobrazeno 1 - 10
of 130
pro vyhledávání: '"Marius Mikučionis"'
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
https://vbn.aau.dk/da/publications/7dcd0cec-0bb6-46b5-8ae8-e0401f82d40e
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
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
https://vbn.aau.dk/da/publications/d75f2c72-56db-4cad-9ebd-a83b6bed86c6
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning ISBN: 9783031197581
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6a4fc1d0f5d32720c4bed98e818528de
https://doi.org/10.1007/978-3-031-19759-8_26
https://doi.org/10.1007/978-3-031-19759-8_26
Autor:
Danny Bøgsted Poulsen, Sean Sedwards, Axel Legay, Marius Mikučionis, Kim G. Larsen, Dehui Du, Alexandre David
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 92, Iss Proc. HSB 2012, Pp 122-136 (2012)
This paper presents novel extensions and applications of the UPPAAL-SMC model checker. The extensions allow for statistical model checking of stochastic hybrid systems. We show how our race-based stochastic semantics extends to networks of hybrid sys
Externí odkaz:
https://doaj.org/article/c966dcac1e5b4dfdb933e9abf3c8f2cf
Autor:
Peter Bulychev, Alexandre David, Kim Gulstrand Larsen, Marius Mikučionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 85, Iss Proc. QAPL 2012, Pp 1-16 (2012)
This paper offers a survey of uppaalsmc, a major extension of the real-time verification tool uppaal. uppaalsmc allows for the efficient analysis of performance properties of networks of priced timed automata under a natural stochastic semantics. In
Externí odkaz:
https://doaj.org/article/fce7610dea3842489aa9506ac7aa690f
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 78, Iss Proc. IWIGP 2012, Pp 1-14 (2012)
This paper studies the problem of computing Nash equilibrium in wireless networks modeled by Weighted Timed Automata. Such formalism comes together with a logic that can be used to describe complex features such as timed energy constraints. Our contr
Externí odkaz:
https://doaj.org/article/f225a21fefa04232a654646b893e4fc4
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 72, Iss Proc. PDMC 2011, Pp 30-42 (2011)
Statistical Model Checking (SMC) is a trade-off between testing and formal verification. The core idea of the approach is to conduct some simulations of the system and verify if they satisfy some given property. In this paper we show that SMC is easi
Externí odkaz:
https://doaj.org/article/5bf7af2bb193487cae23047787d4e88d
Publikováno v:
Gamatie, A, Sassatelli, G & Mikucionis, M 2021, Modeling and Analysis for Energy-Driven Computing using Statistical Model-Checking . in Proceedings of the 2021 Design, Automation and Test in Europe, DATE 2021 ., 9474224, IEEE, Proceedings-Design, Automation and Test in Europe, DATE, vol. 2021-February, pp. 980-985, 2021 Design, Automation and Test in Europe Conference and Exhibition, DATE 2021, Virtual, Online, 01/02/2021 . https://doi.org/10.23919/DATE51398.2021.9474224
Design, Automation and Test in Europe Conference (DATE 2021)
Design, Automation and Test in Europe Conference (DATE 2021), Feb 2021, Virtual, France
DATE
DATE 2021-24th Design, Automation and Test in Europe Conference and Exhibition
DATE 2021-24th Design, Automation and Test in Europe Conference and Exhibition, Feb 2021, Grenoble (Virtual), France. pp.980-985, ⟨10.23919/DATE51398.2021.9474224⟩
Design, Automation and Test in Europe Conference (DATE 2021)
Design, Automation and Test in Europe Conference (DATE 2021), Feb 2021, Virtual, France
DATE
DATE 2021-24th Design, Automation and Test in Europe Conference and Exhibition
DATE 2021-24th Design, Automation and Test in Europe Conference and Exhibition, Feb 2021, Grenoble (Virtual), France. pp.980-985, ⟨10.23919/DATE51398.2021.9474224⟩
International audience; Energy-driven computing is a recent paradigm that promotes energy harvesting as an alternative solution to conventional power supply systems. A crucial challenge in that context lies in the dimensioning of system resources w.r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a27535e2be609ce00b4ae3682f122464
https://vbn.aau.dk/da/publications/a1fa02ea-4aea-400d-a56b-6a7bcba2b861
https://vbn.aau.dk/da/publications/a1fa02ea-4aea-400d-a56b-6a7bcba2b861
Autor:
Marius Mikučionis, Kenneth Yrke Jørgensen, Kim Guldstrand Larsen, Danny Bøgsted Poulsen, Peter Gjøl Jensen, Marco Muñiz
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
Lecture Notes in Computer Science
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles ISBN: 9783030613617
ISoLA (1)
Lecture Notes in Computer Science
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles ISBN: 9783030613617
ISoLA (1)
During the spring of 2020, the BEOCOVID project has been funded to investigate the use of stochastic hybrid models, statistical model checking and machine learning to analyse, predict and control the rapid spreading of Covid-19 . In this paper we foc
Publikováno v:
Automated Technology for Verification and Analysis ISBN: 9783030591519
ATVA
ATVA
We propose a partial order reduction method for reachability analysis of networks of timed automata interacting via synchronous channel communication and via shared variables. Our method is based on (classical) symbolic delay transition systems and e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::311f27cc3c3a63b384f9fe91c7d34e5c
https://doi.org/10.1007/978-3-030-59152-6_10
https://doi.org/10.1007/978-3-030-59152-6_10