Общедоступные статьи - Wojciech JamrogaПодробнее...
35 статей доступны в некоторых источниках
Knowledge and ability
T Ågotnes, V Goranko, W Jamroga, M Wooldridge
College Publications, 2015
Финансирование: German Research Foundation
Strategic games and truly playable effectivity functions
V Goranko, W Jamroga, P Turrini
Autonomous Agents and Multi-Agent Systems 26, 288-314, 2013
Финансирование: Danish Council for Independent Research
Towards partial order reductions for strategic ability
W Jamroga, W Penczek, T Sidoruk, P Dembiński, A Mazurkiewicz
Journal of Artificial Intelligence Research 68, 817-850, 2020
Финансирование: Luxembourg National Research Fund
On module checking and strategies
W Jamroga, A Murano
Proceedings of the 2014 international conference on Autonomous agents and …, 2014
Финансирование: European Commission, Government of Italy
Module checking of strategic ability.
W Jamroga, A Murano
AAMAS 15, 227-235, 2015
Финансирование: European Commission
Natural strategic ability
W Jamroga, V Malvone, A Murano
Artificial Intelligence 277, 103170, 2019
Финансирование: Luxembourg National Research Fund
Strategy logic with simple goals: Tractable reasoning about strategies
F Belardinelli, W Jamroga, V Malvone, A Murano
28th International Joint Conference on Artificial Intelligence (IJCAI 2019 …, 2019
Финансирование: Luxembourg National Research Fund, Agence Nationale de la Recherche
Logics for reasoning about strategic abilities in multi-player games
N Bulling, V Goranko, W Jamroga
Models of strategic reasoning: logics, games, and communities, 93-136, 2016
Финансирование: German Research Foundation
Risk-limiting tallies
W Jamroga, PB Roenne, PYA Ryan, PB Stark
Electronic Voting: 4th International Joint Conference, E-Vote-ID 2019 …, 2019
Финансирование: European Commission, Luxembourg National Research Fund
Natural strategic abilities in voting protocols
W Jamroga, D Kurpiewski, V Malvone
International Workshop on Socio-Technical Aspects in Security and Trust, 45-62, 2020
Финансирование: Luxembourg National Research Fund
SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems
J Pilecki, MA Bednarczyk, W Jamroga
Journal of Logic and Computation 27 (7), 1871-1895, 2017
Финансирование: German Research Foundation, Luxembourg National Research Fund
Towards Model Checking of Voting Protocols in Uppaal
W Jamroga, Y Kim, D Kurpiewski, PYA Ryan
Electronic Voting: 5th International Joint Conference, E-Vote-ID 2020 …, 2020
Финансирование: Luxembourg National Research Fund
Preventing coercion in e-voting: Be open and commit
W Jamroga, M Tabatabaei
Electronic Voting: First International Joint Conference, E-Vote-ID 2016 …, 2017
Финансирование: German Research Foundation, Luxembourg National Research Fund
Timed ATL: forget memory, just count
MJ Knapik, É André, L Petrucci, W Jamroga, W Penczek
Journal of Artificial Intelligence Research 66, 197-223, 2019
Финансирование: Luxembourg National Research Fund
Multi-agency is coordination and (limited) communication
P Kaźmierczak, T Ågotnes, W Jamroga
PRIMA 2014: Principles and Practice of Multi-Agent Systems: 17th …, 2014
Финансирование: German Research Foundation
State and path coalition effectivity models of concurrent multi-player games
V Goranko, W Jamroga
Autonomous Agents and Multi-Agent Systems 30 (3), 446-485, 2016
Финансирование: German Research Foundation
Timed ATL: Forget Memory, Just Count.
É André, L Petrucci, W Jamroga, M Knapik, W Penczek
Journal of Artificial Intelligence Research 66, 2019
Финансирование: Luxembourg National Research Fund
Iterative judgment aggregation
M Slavkovik, W Jamroga
ECAI 2016, 1528-1536, 2016
Финансирование: European Commission
Strategic noninterference
W Jamroga, M Tabatabaei
ICT Systems Security and Privacy Protection: 30th IFIP TC 11 International …, 2015
Финансирование: German Research Foundation
Assume-guarantee verification of strategic ability
Ł Mikulski, W Jamroga, D Kurpiewski
International Conference on Principles and Practice of Multi-Agent Systems …, 2022
Финансирование: Luxembourg National Research Fund, Narodowe Centrum Nauki
Информация о публикациях и финансировании собрана автоматически.