Zobrazeno 1 - 10
of 153
pro vyhledávání: '"Wojciech Penczek"'
Publikováno v:
Bulletin of the Polish Academy of Sciences: Technical Sciences, Vol 69, Iss 4 (2021)
Externí odkaz:
https://doaj.org/article/15115691d074416abdd7a1550f378c22
Publikováno v:
Fundamenta Informaticae. 175:207-251
Some multi-agent scenarios call for the possibility of evaluating specifications in a richer domain of truth values. Examples include runtime monitoring of a temporal property over a growing prefix of an infinite path, inconsistency analysis in distr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f6a799ec362c880aeb9329cca3fb5bd0
https://doi.org/10.3233/fi-2020-1955
https://doi.org/10.3233/fi-2020-1955
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030988494
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fe88ccb4915ed201688c968902d29545
https://doi.org/10.1007/978-3-030-98850-0_4
https://doi.org/10.1007/978-3-030-98850-0_4
Publikováno v:
Studia Informatica.
In this paper, we deal with verification of multi-agent systems represented as concurrent game structures. To express properties to be verified, we use Alternating-Time Temporal Logic (ATL) formulas. We provide an implementation of symbolic model che
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d81ae81db47c5c137c708636c0a29f55
https://doi.org/10.34739/si.2021.25.01
https://doi.org/10.34739/si.2021.25.01
Publikováno v:
KR
In this paper, we introduce a new method of the satisfiability (SAT) checking for Simple-Goal Strategy Logic (SL[SG]), using symbolic Boolean model encoding and the SAT Modulo Monotonic Theories techniques, which was implemented into the tool SGSAT.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3735ae9754945a7b6769e0407df0c182
https://doi.org/10.24963/kr.2021/38
https://doi.org/10.24963/kr.2021/38
Publikováno v:
Fundamenta Informaticae. 165:321-344
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7bc6f62bad863b6c120adc5817a3f13d
https://doi.org/10.3233/fi-2019-1788
https://doi.org/10.3233/fi-2019-1788
Expressing attack-defence trees in a multi-agent setting allows for studying a new aspect of security scenarios, namely how the number of agents and their task assignment impact the performance, e.g. attack time, of strategies executed by opposing co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::66ec99c1f34ad40b5dc5f5aa3f895dcf
http://arxiv.org/abs/2101.06838
http://arxiv.org/abs/2101.06838
Autor:
Jörg Keller, Wojciech Penczek
Publikováno v:
Fundamenta Informaticae. 182:v-vi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4c10ea3a12fb3750f1dd71428cb89b6e
https://doi.org/10.3233/fi-2021-2063
https://doi.org/10.3233/fi-2021-2063
Some multi-agent scenarios call for the possibility of evaluating specifications in a richer domain of truth values. Examples include runtime monitoring of a temporal property over a growing prefix of an infinite path, inconsistency analysis in distr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b15d8044b3def61cee8191c02d190dfc
https://doi.org/10.3233/stal200013
https://doi.org/10.3233/stal200013
Publikováno v:
KR
Recently, we have proposed a framework for verification of agents' abilities in asynchronous multi-agent systems (MAS), together with an algorithm for automated reduction of models. The semantics was built on the modeling tradition of distributed sys
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0ed8cda9cfd2b179b80dca88ad80b36e
http://arxiv.org/abs/2003.03867
http://arxiv.org/abs/2003.03867