Profil

JAMROGA Wojciech

University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > APSIA

Main Referenced Co-authors
Kurpiewski, Damian (10)
Bulling, N. (8)
Penczek, Wojciech (7)
RYAN, Peter Y A  (7)
TABATABAEI, Masoud  (5)
Main Referenced Keywords
Alternating-time Temporal Logic (1); Alternating-time temporal logic (1); coercion resistanc (1); Covid-19 (1); electronic voting (1);
Main Referenced Unit & Research Centers
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Applied Security and Information Assurance Group (APSIA) (7)
Main Referenced Disciplines
Computer science (59)

Publications (total 59)

The most downloaded
276 downloads
Bulling, N., & Jamroga, W. (2014). Comparing variants of strategic ability: how uncertainty and memory influence general properties of games. In Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems. doi:10.1007/s10458-013-9231-3 https://hdl.handle.net/10993/25344

The most cited

65 citations (Scopus®)

Bulling, N., & Jamroga, W. (2014). Comparing variants of strategic ability: how uncertainty and memory influence general properties of games. In proceedings of Autonomous Agents and Multi-agent Systems (pp. 474-518). doi:10.1007/s10458-013-9231-3 https://hdl.handle.net/10993/26418

Belardinelli, F., Condurache, R., Dima, C., Jamroga, W., & Knapik, M. (2021). Bisimulations for Verifying Strategic Abilities with an Application to the ThreeBallot Voting Protocol. Information and Computation, 276, 104552. doi:10.1016/j.ic.2020.104552
Peer reviewed

Jamroga, W., Penczek, W., & Sidoruk, T. (2021). Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them. In Proceedings of KR 2021.
Peer reviewed

Jamroga, W., Penczek, W., & Sidoruk, T. (2021). Strategic Abilities of Asynchronous Agents: Semantic Side Effects. In Proceedings of AAMAS 2021 (pp. 1545--1547). ACM.
Peer reviewed

Jamroga, W. (2021). A Survey of Requirements for COVID-19 Mitigation Strategies. Part II: Elicitation of Requirements. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/45847. doi:10.24425/bpasts.2021.137724

Jamroga, W., Ryan, P. Y. A., Schneider, S., Schürmann, C., & Stark, P. B. (2021). A Declaration of Software Independence. In Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday (pp. 198--217). Springer. doi:10.1007/978-3-030-91631-2\_11
Peer reviewed

Jamroga, W., Mestel, D., Roenne, P., Ryan, P. Y. A., & Skrobot, M. (2021). A Survey of Requirements for COVID-19 Mitigation Strategies. Bulletin of The Polish Academy of Sciences: Technical Science, 69 (4), 137724. doi:10.24425/bpasts.2021.137724
Peer reviewed

Kurpiewski, D., Pazderski, W., Jamroga, W., & Kim, Y. (2021). STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions. In Proceedings of AAMAS (pp. 1770--1772). ACM.
Peer reviewed

Jamroga, W., Kim, Y., Kurpiewski, D., & Ryan, P. Y. A. (2020). Towards Model Checking of Voting Protocols in Uppaal. In Proceedings of the Fifth International Joint Conference on Electronic Voting E-VOTE-ID 2020. Springer. doi:10.1007/978-3-030-60347-2_9
Peer reviewed

Jamroga, W., Mestel, D., Roenne, P., Ryan, P. Y. A., & Skrobot, M. (2020). A Survey of Requirements for COVID-19 Mitigation Strategies. Part I: Newspaper Clips. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/46104.

Jamroga, W., Konikowska, B., Kurpiewski, D., & Penczek, W. (2020). Multi-valued Verification of Strategic Ability. Fundamenta Informaticae, 175 (1-4), 207-251. doi:10.3233/FI-2020-1955
Peer reviewed

Jamroga, W., Penczek, W., Sidoruk, T., Dembiński, P., & Mazurkiewicz, A. (2020). Towards Partial Order Reductions for Strategic Ability. Journal of Artificial Intelligence Research, 68, 817-850. doi:10.1613/jair.1.11936
Peer reviewed

Jamroga, W., Kurpiewski, D., & Malvone, V. (2020). Natural Strategic Abilities in Voting Protocols. In Proceedings of the 10th International Workshop on Socio-Technical Aspects in Security STAST 2020. Springer.
Peer reviewed

Niewiadomski, A., Kacprzak, M., Kurpiewski, D., Knapik, M., Penczek, W., & Jamroga, W. (2020). MsATL: a Tool for SAT-Based ATL Satisfiability Checking. In Proceedings of 19th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2020.
Peer reviewed

Jamroga, W., Malvone, V., & Murano, A. (2019). Natural Strategic Ability. Artificial Intelligence and Law, 277. doi:10.1016/j.artint.2019.103170
Peer reviewed

Jamroga, W., Knapik, M. L., Kurpiewski, D., & Mikulski, L. (2019). Approximate Verification of Strategic Abilities under Imperfect Information. Artificial Intelligence and Law, 277. doi:10.1016/j.artint.2019.103172
Peer reviewed

Bulling, N., Jamroga, W., & Popovici, M. (2019). Reasoning about Strategic Abilities: Agents with Truly Perfect Recall. ACM Transactions on Computational Logic, 20 (2), 10:1--10:46. doi:10.1145/3309761
Peer reviewed

Knapik, M., André, É., Petrucci, L., Jamroga, W., & Penczek, W. (2019). Timed ATL: Forget Memory, Just Count. Journal of Artificial Intelligence Research, 66, 197--223. doi:10.1613/jair.1.11612
Peer reviewed

Jamroga, W., Malvone, V., & Murano, A. (2019). Natural Strategic Ability under Imperfect Information. In Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2019 (pp. 962--970). IFAAMAS.
Peer reviewed

Yazdanpanah, V., Dastani, M., Alechina, N., Logan, B., & Jamroga, W. (2019). Strategic Responsibility Under Imperfect Information. In Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2019 (pp. 592--600). IFAAMAS.
Peer reviewed

Kurpiewski, D., Knapik, M. L., & Jamroga, W. (2019). On Domination and Control in Strategic Ability. In Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2019 (pp. 197--205). IFAAMAS.
Peer reviewed

Jamroga, W., & Knapik, M. (2019). Some Things are Easier for the Dumb and the Bright Ones (Beware the Average!). In Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence IJCAI (pp. 1734--1740). doi:10.24963/ijcai.2019/240
Peer reviewed

Kurpiewski, D., Jamroga, W., & Knapik, M. L. (2019). STV: Model Checking for Strategies under Imperfect Information. In Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2019 (pp. 2372--2374). IFAAMAS.
Peer reviewed

Kurpiewski, D., Knapik, M., & Jamroga, W. (2019). On Domination and Control in Strategic Ability (Extended Abstract). In Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC).
Peer reviewed

Jamroga, W., Roenne, P., Ryan, P., & Stark, P. B. (2019). Risk-Limiting Tallies. In Electronic Voting: Proceedings of E-Vote-ID (pp. 183--199). doi:10.1007/978-3-030-30625-0\_12
Peer reviewed

Belardinelli, F., Jamroga, W., Kurpiewski, D., Malvone, V., & Murano, A. (2019). Strategy Logic with Simple Goals: Tractable Reasoning about Strategies. In Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence IJCAI (pp. 88--94). doi:10.24963/ijcai.2019/13
Peer reviewed

Tabatabaei, M., Jamroga, W., & Ryan, P. (2016). Expressing Receipt-Freeness and Coercion-Resistance in Logics of Strategic Ability: Preliminary Attempt. In The International Workshop on AI for Privacy and Security (PrAISe), 2016.
Peer reviewed

Jamroga, W., & Tabatabaei, M. (2016). Preventing Coercion in E-Voting: Be Open and Commit. In Proceedings of the 12th International Joint Conference on Electronic Voting (E-Vote-ID). doi:10.1007/978-3-319-52240-1_1
Peer reviewed

Jamroga, W., & Tabatabaei, M. (2016). Information Security as Strategic (In)effectivity. In 12th International Workshop on Security and Trust Management (STM), 2016. doi:10.1007/978-3-319-46598-2_11
Peer reviewed

Bulling, N., & Jamroga, W. (2014). Comparing variants of strategic ability: how uncertainty and memory influence general properties of games. In Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems. doi:10.1007/s10458-013-9231-3
Peer reviewed

Bulling, N., & Jamroga, W. (2014). Comparing variants of strategic ability: how uncertainty and memory influence general properties of games. In proceedings of Autonomous Agents and Multi-agent Systems (pp. 474-518). doi:10.1007/s10458-013-9231-3
Peer reviewed

Jamroga, W., & Tabatabaei, M. (2013). Accumulative Knowledge Under Bounded Resources. In Computational Logic in Multi-Agent Systems (pp. 17). Berlin Heidelberg, Unknown/unspecified: Springer.
Peer reviewed

Tabatabaei, M., Jamroga, W., & Ryan, P. (17 March 2013). Preventing Coercion in E-Voting: Be Open and Commit [Paper presentation]. 1st Workshop on Hot Issues in Security Principles and Trust.

Jamroga, W., Melissen, M., & Schnoor, H. (2013). Incentives and Rationality in Security of Interaction Protocols. In PRIMA 2013: Principles and Practice of Multi-Agent Systems. Proceedings.
Peer reviewed

Goranko, V., Jamroga, W., & Turrini, P. (2013). Strategic games and truly playable effectivity functions. Autonomous Agents & Multi-Agent Systems, 26 (2), 288-314. doi:10.1007/s10458-012-9192-y
Peer reviewed

Jamroga, W., & Penczek, W. (2012). Specification and Verification of Multi-Agent Systems. In Lectures on Logic and Computation (pp. 210-263). Springer.

Jamroga, W., Mauw, S., & Melissen, M. (2012). Fairness in Non-repudiation Protocols. In Proceedings of STM 2011 (pp. 122-139). Springer.
Peer reviewed

Goranko, V., & Jamroga, W. (2012). State and Path Effectivity Models for Logics of Multi-Player Games. In Proceedings of AAMAS 2012 (pp. 1123-1130). Springer.
Peer reviewed

Slavkovik, M., & Jamroga, W. (2012). Distance-Based Rules for Weighted Judgment Aggregation (Extended Abstract). Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems, AAMAS2012, 1405-1406.
Peer reviewed

Jamroga, W., & Goranko, V. (Eds.). (2012). LAMAS 2012 Proceedings of the 5rd Workshop on Logical Aspects of Multi-Agent Systems. IFAAMAS.

Goranko, V., & Jamroga, W. (Eds.). (2012). Proceedings of the 5th Workshop on Logical Aspects of Multi-Agent Systems LAMAS'2012. IFAAMAS.

Jamroga, W. (2012). Concepts, Agents, and Coalitions in Alternating Time. In Proceedings of ECAI 2012 (pp. 438-443). doi:10.3233/978-1-61499-098-7-438
Peer reviewed

Goranko, V., Jamroga, W., & Turrini, P. (2011). Strategic Games and Truly Playable Effectivity Functions. In Proceedings of AAMAS2011 (pp. 727–734).
Peer reviewed

Slavkovik, M., & Jamroga, W. (2011). Distance-based Judgment Aggregation of Three-valued Judgments with Weights. In Proceedings of the IJCAI Workshop on Social Choice and Artificial Intelligence (pp. 81–87).
Peer reviewed

Bulling, N., & Jamroga, W. (2011). Alternating Epistemic Mu-Calculus. In Proceedings of IJCAI-11 (pp. 109–114).
Peer reviewed

Jamroga, W., & Melissen, M. (2011). Doubtful Deviations and Farsighted Play. In Progress in Artificial Intelligence, Proceedings of the 15th Portuguese Conference on Artificial Intelligence (pp. 506–520). Springer. doi:10.1007/978-3-642-24769-9\_37
Peer reviewed

Novak, P., & Jamroga, W. (2011). Agents, Actions and Goals in Dynamic Environments. In Proceedings of IJCAI-11 (pp. 313–318).
Peer reviewed

Jamroga, W., & Bulling, N. (2011). Comparing Variants of Strategic Ability. In Proceedings of IJCAI-11 (pp. 252–257).
Peer reviewed

Goranko, V., Jamroga, W., & Turrini, P. (2010). Strategic Games and Truly Playable Effectivity Functions. Proceedings of EUMAS2010.
Peer reviewed

Bulling, N., & Jamroga, W. (2010). Verifying Agents with Memory Is Harder than It Seemed. AI Communications, 23, 380–403. doi:10.3233/AIC-2010-0481
Peer Reviewed verified by ORBi

Dastani, M., & Jamroga, W. (2010). Reasoning about Strategies of Multi-Agent Programs. In Proceedings of AAMAS2010 (pp. 625–632).
Peer reviewed

Bulling, N., Dix, J., & Jamroga, W. (2010). Model Checking Logics of Strategic Ability: Complexity. In M. Dastani, K. Hindriks, ... J.-J. Meyer (Eds.), Specification and Verification of Multi-Agent Systems (pp. 125–159). Springer. doi:10.1007/978-1-4419-6984-2_5
Peer reviewed

Bulling, N., & Jamroga, W. (2010). Verifying Agents with Memory Is Harder than It Seemed. In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS (pp. 633–640).
Peer reviewed

Seylan, I., & Jamroga, W. (2010). Coalition Description Logic for Individuals. Electronic Notes in Theoretical Computer Science, 262, 231–248. doi:10.1016/j.entcs.2010.04.017
Peer reviewed

Jamroga, W., & Bulling, N. (2010). Comparing Variants of Strategic Ability. Proceedings of EUMAS2010.
Peer reviewed

Novák, P., & Jamroga, W. (2009). Code Patterns for Agent Oriented Programming. Proceedings of AAMAS'09, 105–112.
Peer reviewed

Bulling, N., & Jamroga, W. (2009). What agents can probably enforce. Fundamenta Informaticae, 81-96. doi:10.3233/FI-2009-0089
Peer Reviewed verified by ORBi

Seylan, I., & Jamroga, W. (2009). Description Logic for Coalitions. Proceedings of AAMAS'09, 425–432.
Peer reviewed

Jamroga, W. (2009). Easy Yet Hard: Model Checking Strategies of Agents. In Computational Logic in Multi-Agent Systems: Proceedings of CLIMA IX (pp. 1–12).

Bulling, N., & Jamroga, W. (2009). Rational Play and Rational Beliefs under Uncertainty. Proceedings of AAMAS'09, 257–264.
Peer reviewed

Contact ORBilu