Zobrazeno 1 - 10
of 93
pro vyhledávání: '"Kristina Lundqvist"'
Publikováno v:
2022 6th International Conference on System Reliability and Safety (ICSRS).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::339261f962e36e332912b48758b1815c
https://doi.org/10.1109/icsrs56243.2022.10067740
https://doi.org/10.1109/icsrs56243.2022.10067740
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
https://vbn.aau.dk/ws/files/511976034/Open_Access_article.pdf
Lymphoplasmacytic lymphoma (LPL) not fulfilling the WHO diagnostic criteria (2017) for Waldenstrom’s macroglobulinemia (WM) (named non-WM LPL) is a rare disease and only a few systematic studies have been published. Here, we present a population-ba
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c71089a02fe98616eef5eecf84a53ed0
http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-190982
http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-190982
Publikováno v:
2022 IEEE 16th International Conference on Semantic Computing (ICSC).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::25bd08cec2c4c327540ee51f98c44f59
https://doi.org/10.1109/icsc52841.2022.00039
https://doi.org/10.1109/icsc52841.2022.00039
Publikováno v:
Image Analysis and Processing – ICIAP 2022 ISBN: 9783031064326
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4e2f626c7831e355d28dc0786d1e8e61
https://doi.org/10.1007/978-3-031-06433-3_8
https://doi.org/10.1007/978-3-031-06433-3_8
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031176036
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4b323578aa1349478808611bc7d3b871
https://doi.org/10.1007/978-3-031-17604-3_3
https://doi.org/10.1007/978-3-031-17604-3_3
Publikováno v:
2021 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::419642592ec1bc78fa4c857428e629cf
https://doi.org/10.1109/dasc-picom-cbdcom-cyberscitech52372.2021.00028
https://doi.org/10.1109/dasc-picom-cbdcom-cyberscitech52372.2021.00028
Autor:
Séverine Sentilles, Kristina Lundqvist, Jan Carlson, Moris Behnam, Cristina Seceleanu, Gabriele Capannini, Eduard Paul Enoiu
Publikováno v:
ECBS
With the emergence of “Industry 4.0”, the integration of cloud technologies and industrial cyber-physical systems becomes increasingly important to boost productivity. The industrial cyber-physical systems infrastructures and their fusion with th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6afa5134e34b626efde6e842151062dc
https://doi.org/10.1145/3459960.3459968
https://doi.org/10.1145/3459960.3459968
Publikováno v:
Formal Methods ISBN: 9783030908690
FM
FM
Autonomous vehicles are expected to be able to avoid static and dynamic obstacles automatically, along their way. However, most of the collision-avoidance functionality is not formally verified, which hinders ensuring such systems’ safety. In this
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::758172df132b937214d1347dfb51facd
https://doi.org/10.1007/978-3-030-90870-6_37
https://doi.org/10.1007/978-3-030-90870-6_37
Publikováno v:
ISSRE Workshops
Safety-critical software systems have traditionally been found in few domains, e.g., aerospace, nuclear and medical. As technology advances and software capability increases, such systems can be found in more and more applications, e.g., selfdriving
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bba0618e3bbbacdb814631e2cf15ceab
https://doi.org/10.1109/issrew51248.2020.00089
https://doi.org/10.1109/issrew51248.2020.00089