Zobrazeno 1 - 10
of 28
pro vyhledávání: '"Guldstrand Larsen, Kim"'
Autor:
Jensen, Peter Gjøl, Kiviriga, Andrej, Guldstrand Larsen, Kim, Nyman, Ulrik, Mijačika, Adriana, Høiriis Mortensen, Jeppe
Publikováno v:
Jensen, P G, Kiviriga, A, Guldstrand Larsen, K, Nyman, U, Mijačika, A & Høiriis Mortensen, J 2022, Monte Carlo Tree Search for Priced Timed Automata . in E Ábrahám & M Paolieri (eds), Quantitative Evaluation of Systems : 19th International Conference, QEST 2022, Proceedings . Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13479 LNCS, pp. 381-398, 19th International Conference on Quantitative Evaluation of Systems, QEST 2022, Warsaw, Poland, 12/09/2022 . https://doi.org/10.1007/978-3-031-16336-4_19
Priced timed automata (PTA) were introduced in the early 2000s to allow for generic modelling of resource-consumption problems for systems with real-time constraints. Optimal schedules for allocation of resources may here be recast as optimal reachab
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::09587a5c3e3aeb0ecb89ea535f808032
https://vbn.aau.dk/ws/files/493737469/2022_QEST_Nyman.pdf
https://vbn.aau.dk/ws/files/493737469/2022_QEST_Nyman.pdf
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030720124
TACAS (2)
Tools and Algorithms for the Construction and Analysis of Systems-26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part I, 373-380
STARTPAGE=373;ENDPAGE=380;TITLE=Tools and Algorithms for the Construction and Analysis of Systems-26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part I
TACAS (2)
Tools and Algorithms for the Construction and Analysis of Systems-26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part I, 373-380
STARTPAGE=373;ENDPAGE=380;TITLE=Tools and Algorithms for the Construction and Analysis of Systems-26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part I
Statistical model checking uses Monte Carlo simulation to analyse stochastic formal models. It avoids state space explosion, but requires rare event simulation techniques to efficiently estimate very low probabilities. One such technique is $$\textsc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::711f3a2bd45d23b964c0cdc4fff2582b
https://doi.org/10.1007/978-3-030-72013-1_21
https://doi.org/10.1007/978-3-030-72013-1_21
Autor:
Guldstrand Larsen, Kim, Legay, Axel
Publikováno v:
Statistical Model Checking the 2018 Edition!, p. pp 261-270 (2018)
This short note introduces statistical model checking and gives a brief overview of the Statistical Model Checking, past present and future session at Isola 2018. This is the fourth edition of the track at Isola.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1493::9c3b9855adc9f2d5746778c890006aac
https://hdl.handle.net/2078.1/218736
https://hdl.handle.net/2078.1/218736
Publikováno v:
Fundamenta Informaticae; 2021, Vol. 178 Issue 1/2, p31-57, 27p
Autor:
Anvari-Moghaddam, Amjad, Mohammadi-ivatloo, Behnam, Asadi, Somayeh, Guldstrand Larsen, Kim, Shahidehpour, Mohammad
Publikováno v:
Applied Sciences (2076-3417); Oct2019, Vol. 9 Issue 20, p4451, 5p
Autor:
Jonsson, Bengt, Guldstrand Larsen, Kim
The problem of designing a system which in a given environment C should satisfy a given specification S can be formulated as "find a system P such that C(P) satisfies the specification S". In process algebra, such problems take the form of equations.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______681::052ec7697b7db79b334496d6782587fa
http://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-22171
http://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-22171
Publikováno v:
From Programs to Systems. The Systems Perspective in Computing; 2014, p84-97, 14p
Publikováno v:
Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings; 2014, p297-312, 16p
Publikováno v:
CONCUR 2014 - Concurrency Theory; 2014, p188-202, 15p
Publikováno v:
NASA Formal Methods; 2013, p352-367, 16p